Skip to content
Lean Action CI

better detect constructor #24

Sign in to view logs

better detect constructor

better detect constructor #24

Triggered via push June 17, 2026 11:38
@RemyDegenneRemyDegenne
pushed d8e5dae
main
Status Success
Total duration 49s
Artifacts –

lean_action_ci.yml

on: push
build
45s
build
Fit to window
Zoom out
Zoom in