continuous integration

adaptations for leanprover/lean4#11620 #5641

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	3m 35s
Lint style	1m 51s
Post-Build Step	0s
Post-CI job	0s
	5m 26s