Skip to content
CI Matrix

allow empty traces (unsat traces) in final equivalence conditions #1005

Sign in to view logs

allow empty traces (unsat traces) in final equivalence conditions

allow empty traces (unsat traces) in final equivalence conditions #1005

Run time

Learn about OS pricing on GitHub Actions
Job Run time
GHC 9.6.2 on self-hosted pate-ppc
1h 32m 43s
docker
13m 38s
1h 46m 21s