continuous integration

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	2s
Check all files imported	8s
Lint style	46s
check workflows	10s
Build	1h 13m 33s
Post-CI job	8s
	1h 14m 47s