cabal

Configure stack CI jobs to run without link-z3-as-a-library #286

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ghc-9.6.3 z3-4.10.2	3m 58s
ghc-9.4.7 z3-4.10.2	5m 26s
ghc-9.2.3 z3-4.10.2	8m 3s
	17m 27s