Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4789 #109018

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/4789 #109018

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Cancel Previous Runs (CI)
2s
Build
1h 7m 23s
Lint style
1m 13s
check workflows
7s
Post-CI job
8s
1h 8m 53s