Back to pull request #32

chore: use toolchain for leanprover/lean4#2749 #20

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Ubuntu	3m 3s
Build on macOS	4m 46s
Build on Windows	4m 31s
	12m 20s