continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4055 #88866

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check all files imported	8s
check workflows	10s
Cancel Previous Runs (CI)	2s
Build	25m 51s
Lint style	46s
Post-CI job	9s
	27m 6s