Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3012 #58351

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/3012 #58351

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint style
34s
Check all files imported
9s
Build
20m 5s
Cancel Previous Runs (CI)
3s
check workflows
7s
Post-CI job
11s
21m 9s