Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4154 #117206

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/4154 #117206

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
50m 21s
Cancel Previous Runs (CI)
4s
check workflows
10s
Lint style
1m 21s
Post-CI job
0s
51m 56s