continuous integration

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	3s
Build	42m 59s
Lint style	1m 0s
Post-CI job	9s
	44m 11s