Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4152 #91777

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/4152 #91777

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Cancel Previous Runs (CI)
4s
Build
48m 12s
Check all files imported
8s
check workflows
7s
Lint style
53s
summarize_declarations
21s
Post-CI job
0s
49m 45s