Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/6634 #156778

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/6634 #156778

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
43m 6s
Lint style
1m 17s
Post-CI job
9s
44m 32s