Haskell CI

Add (.): SMT-LIB integer exponentiation #471

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (9.14.1)	4m 54s
build (9.8.4)	6m 28s
build (9.10.3)	6m 40s
build (9.12.2)	5m 52s
	23m 54s