continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3040 #63778

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check all files imported	6s
Cancel Previous Runs (CI)	4s
Lint style	36s
Build	9m 45s
check workflows	10s
Post-CI job	0s
	10m 41s