Skip to content
Lean Action CI

add proofs #69

Sign in to view logs

add proofs

add proofs #69

Triggered via push July 31, 2026 05:16
@RemyDegenneRemyDegenne
pushed 13d0ff9
main
Status Success
Total duration 1m 25s
Artifacts –

lean_action_ci.yml

on: push
build
1m 15s
build
Fit to window
Zoom out
Zoom in