Merge pull request #79 from leanprover-community/bump_toolchain_to_v4… #320

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Ubuntu	1m 22s
Build on Windows	3m 25s
	4m 47s