cabal

Unfold with undecided guards in PLE when new equalities are discovered #490

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	5m 46s
ghc-9.6.5 z3-4.10.2	7m 15s
ghc-9.4.8 z3-4.10.2	7m 59s
	21m 0s