Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3881 #84288

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/3881 #84288

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Cancel Previous Runs (CI)
4s
Build
24m 35s
Check all files imported
12s
check workflows
7s
Lint style
50s
Post-CI job
13s
26m 1s