Skip to content
CI

apply tactic, similar to rewrite #45

Sign in to view logs

apply tactic, similar to rewrite

apply tactic, similar to rewrite #45

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker (coqorg/coq:dev)
5m 7s
docker (coqorg/coq:8.20)
3m 24s
8m 31s