continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4083 #89741

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	48s
Check all files imported	10s
Cancel Previous Runs (CI)	3s
Build	1h 10m 52s
check workflows	9s
Post-CI job	8s
	1h 12m 10s