Skip to content
Docker CI

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

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

Run time

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