cabal

Merge pull request #724 from ucsd-progsys/fd/bagop-sorts #528

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ghc-9.8.2 z3-4.10.2	6m 56s
ghc-9.6.5 z3-4.10.2	9m 19s
ghc-9.4.8 z3-4.10.2	9m 4s
	25m 19s