continuous integration

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check workflows	9s
Check all files imported	13s
Lint style	41s
Build	1h 10m 52s
Cancel Previous Runs (CI)	2s
Post-CI job	7s
	1h 12m 4s