Build LLVM

Merge pull request #2 from leanprover/bolt #99

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
x86_64-linux-gnu	2h 28m 14s
aarch64-linux-gnu	3h 33m 54s
x86_64-apple-darwin	3h 39m 30s
aarch64-apple-darwin	1h 31m 39s
x86_64-w64-windows-gnu	2h 11m 40s
	13h 24m 57s