cabal

Leave link-z3-as-a-library unset in both cabal.project and stack.yaml #288

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	9m 22s
ghc-9.4.7 z3-4.10.2	10m 50s
ghc-9.2.3 z3-4.10.2	11m 35s
	31m 47s