continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/2967 #61245

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check workflows	9s
Check all files imported	11s
Cancel Previous Runs (CI)	4s
Lint style	36s
Build	1h 14m 49s
Post-CI job	14s
	1h 16m 3s