Skip to content
Docker CI

Port Coq code to use 'done' tactic instead of 'easy' and benchmark #63

Sign in to view logs

Port Coq code to use 'done' tactic instead of 'easy' and benchmark

Port Coq code to use 'done' tactic instead of 'easy' and benchmark #63

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
2m 2s
build (coqorg/coq:8.19)
1m 56s
build (coqorg/coq:8.18)
2m 1s
5m 59s