Skip to content
Lean Action CI

Minor changes #62

Sign in to view logs

Minor changes

Minor changes #62

Triggered via push September 4, 2025 15:44
@wkrozowskiwkrozowski
pushed 187f489
wojciech/fix_constprop
Status Success
Total duration 23s
Artifacts –

lean_action_ci.yml

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