Skip to content
Docker CI

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

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 #65

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
3m 8s
build (coqorg/coq:8.19)
3m 2s
build (coqorg/coq:8.18)
3m 12s
9m 22s