Build LLVM

Merge pull request #2 from leanprover/bolt #98

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
x86_64-linux-gnu	2h 31m 14s
aarch64-linux-gnu	3h 34m 12s
x86_64-apple-darwin	2h 52m 35s
aarch64-apple-darwin	1h 19m 50s
x86_64-w64-windows-gnu	2h 11m 7s
	12h 28m 58s