Skip to content
CI

derive: param1 support for is_true and primitive strings #151

Sign in to view logs

derive: param1 support for is_true and primitive strings

derive: param1 support for is_true and primitive strings #151

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker (rocq/rocq-prover:dev)
5m 19s
docker (rocq/rocq-prover:9.0)
5m 17s
docker (coqorg/coq:8.20)
4m 7s
14m 43s