continuous integration

Update Batteries branch for testing https://github.com/leanprover-com… #6746

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci / Build	53m 45s
ci / Lint style	2m 2s
ci / Upload to cache	55s
ci / Post-Build Step	4m 28s
ci / Post-CI job	9s
	1h 1m 19s