Merge pull request #34 from leanprover-community/bump_rc2 #30

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Ubuntu	1m 58s
Build on Ubuntu	1m 58s
Build on macOS	27m 30s
Build on macOS	6h 0m 19s
Build on Windows	3m 13s
Build on Windows	3m 13s
	6h 38m 11s