continuous integration

Update lean-toolchain for testing https://github.com/leanprover/lean4… #7237

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci / Build	51m 57s
ci / Lint style	1m 59s
ci / Upload to cache	55s
ci / Post-Build Step	3m 46s
ci / Post-CI job	7s
	58m 44s

⚡