Skip to content
CI Matrix

Pate.TraceConstraint: support parsing constraints for symbolic integers #1001

Sign in to view logs

Pate.TraceConstraint: support parsing constraints for symbolic integers

Pate.TraceConstraint: support parsing constraints for symbolic integers #1001

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker
14m 47s
GHC 9.6.2 on self-hosted pate-ppc
1h 35m 59s
1h 50m 46s