Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/6939 #162519

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/6939 #162519

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
48m 9s
Lint style
1m 42s
Post-CI job
1s
49m 52s