Merge pull request #77 from leanprover-community/bump_toolchain_to_v4… #306

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Ubuntu	1m 17s
Build on Windows	3m 10s
	4m 27s