Skip to content
Lean Action CI

Add comments #51

Sign in to view logs

Add comments

Add comments #51

Triggered via push September 1, 2025 11:49
@wkrozowskiwkrozowski
pushed 3a2c28b
wojciech/constprop_comments
Status Success
Total duration 31s
Artifacts –

lean_action_ci.yml

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