Skip to content
stack

Fix sorts of bag theory operations in Theories.hs #527

Sign in to view logs

Fix sorts of bag theory operations in Theories.hs

Fix sorts of bag theory operations in Theories.hs #527

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ghc-9.8.2 z3-4.10.2
10m 33s
ghc-9.6.5 z3-4.10.2
13m 16s
ghc-9.4.8 z3-4.10.2
12m 34s
36m 23s