Skip to content
CI

Declare compatibility constant as canonical gref for primitive projections #160

Sign in to view logs

Declare compatibility constant as canonical gref for primitive projections

Declare compatibility constant as canonical gref for primitive projections #160

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker (rocq/rocq-prover:dev)
7m 28s
docker (rocq/rocq-prover:9.0)
5m 6s
docker (coqorg/coq:8.20)
3m 57s
16m 31s