Skip to content
CI Matrix

remove duplicate pre/post conditions from counter-examples #699

Sign in to view logs

remove duplicate pre/post conditions from counter-examples

remove duplicate pre/post conditions from counter-examples #699

Run time

Learn about OS pricing on GitHub Actions
Job Run time
GHC 9.6.2 on self-hosted pate-ppc
2h 16m 5s
2h 16m 5s