continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4372 #97348

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	3s
Lint style	50s
Build	1h 3m 8s
check workflows	9s
summarize_declarations	22s
Post-CI job	8s
	1h 4m 40s