Skip to content
Lean Action CI

Further cleanup #48

Sign in to view logs

Further cleanup

Further cleanup #48

Triggered via push August 31, 2025 11:19
@wkrozowskiwkrozowski
pushed f31f430
wojciech/add_compil_comments
Status Success
Total duration 24s
Artifacts –

lean_action_ci.yml

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