crux-llvm

Add an `EqF TypeRepr` instance #2516

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	35m 49s
crux-llvm - GHC v9.6.5 - ubuntu-22.04	34m 5s
crux-llvm - GHC v9.8.2 - ubuntu-22.04	34m 59s
crux-llvm - GHC v9.4.8 - ubuntu-20.04	25m 37s
crux-llvm - GHC v9.4.8 - macos-14	23m 5s
crux-llvm - GHC v9.4.8 - windows-2019	22m 53s
	2h 56m 35s