continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3999 #88032

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check workflows	10s
Lint style	44s
Check all files imported	12s
Cancel Previous Runs (CI)	4s
Build	1h 0m 14s
Post-CI job	0s
	1h 1m 24s