Merge pull request #1266 from GaloisInc/T1024-crucible-syntax-exotic-… #2336

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
config	4s
build-push-image	0s
crux-llvm - GHC v9.4.8 - ubuntu-22.04	33m 46s
crux-llvm - GHC v9.6.5 - ubuntu-22.04	34m 23s
crux-llvm - GHC v9.8.2 - ubuntu-22.04	32m 34s
crux-llvm - GHC v9.4.8 - ubuntu-20.04	23m 26s
crux-llvm - GHC v9.4.8 - macos-14	18m 34s
crux-llvm - GHC v9.4.8 - windows-2019	18m 42s
	2h 41m 29s