continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3756 #80729

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	2s
check workflows	7s
Lint style	40s
Check all files imported	7s
Build	3m 37s
Post-CI job	0s
	4m 33s