Skip to content
CI Matrix

Fix incorrect handling of equivalence domain refinements #648

Sign in to view logs

Fix incorrect handling of equivalence domain refinements

Fix incorrect handling of equivalence domain refinements #648

Run time

Learn about OS pricing on GitHub Actions
Job Run time
GHC 8.8.4 on self-hosted pate-ppc
3m 39s
GHC 8.10.7 on self-hosted pate-ppc
3m 44s
GHC 9.0.2 on self-hosted pate-ppc
4m 6s
11m 29s