Skip to content
Lean Action CI

Shorten long theorem name #26

Sign in to view logs

Shorten long theorem name

Shorten long theorem name #26

Triggered via push September 29, 2025 09:15
@yisioxyisiox
pushed 6caf2ae
ys-working
Status Success
Total duration 2m 30s
Artifacts –

lean_action_ci.yml

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