cabal

Merge pull request #664 from ucsd-progsys/fd/ci-link-z3-as-a-library #287

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 49s
ghc-9.6.3 z3-4.10.2	3m 49s
ghc-9.4.7 z3-4.10.2	5m 44s
ghc-9.4.7 z3-4.10.2	5m 44s
ghc-9.2.3 z3-4.10.2	6h 0m 16s
ghc-9.2.3 z3-4.10.2	7m 48s
	6h 27m 10s