Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/6421 #151310

Sign in to view logs

Trigger CI for https://github.com/leanprover/lean4/pull/6421

Trigger CI for https://github.com/leanprover/lean4/pull/6421 #151310

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Cancel Previous Runs (CI)
2s
Lint style
1m 15s
Build
43m 22s
Post-CI job
9s
44m 48s