Skip to content
continuous integration

Update lean-toolchain for testing https://github.com/leanprover/lean4… #98639

Sign in to view logs

Update lean-toolchain for testing https://github.com/leanprover/lean4…

Update lean-toolchain for testing https://github.com/leanprover/lean4… #98639

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint style
43s
Cancel Previous Runs (CI)
2s
summarize_declarations
23s
check workflows
16s
Build
1h 1m 45s
Post-CI job
11s
1h 3m 20s