Skip to content
CI

derive: param1 support for is_true and primitive strings #144

Sign in to view logs

derive: param1 support for is_true and primitive strings

derive: param1 support for is_true and primitive strings #144

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker (rocq/rocq-prover:dev)
4m 39s
docker (rocq/rocq-prover:9.0)
4m 35s
docker (coqorg/coq:8.20)
3m 37s
12m 51s