crux-llvm

Merge pull request #1272 from GaloisInc/T1271-CRUX_RUST_LIBRARY_PATH-… #2388

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
config	7s
build-push-image	0s
crux-llvm - GHC v9.4.8 - ubuntu-22.04	37m 38s
crux-llvm - GHC v9.6.5 - ubuntu-22.04	34m 58s
crux-llvm - GHC v9.8.2 - ubuntu-22.04	34m 7s
crux-llvm - GHC v9.4.8 - ubuntu-20.04	22m 20s
crux-llvm - GHC v9.4.8 - macos-14	22m 49s
crux-llvm - GHC v9.4.8 - windows-2019	18m 36s
	2h 50m 35s