Skip to content
Docker CI

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

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

Run time

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