Skip to content
CI

derive: param1 support for is_true and primitive strings #145

Sign in to view logs

derive: param1 support for is_true and primitive strings

derive: param1 support for is_true and primitive strings #145

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker (rocq/rocq-prover:dev)
4m 56s
docker (rocq/rocq-prover:9.0)
4m 34s
docker (coqorg/coq:8.20)
3m 14s
12m 44s