Skip to content
Docker CI

last admits, delete redundant lemmas, upd todo #67

Sign in to view logs

last admits, delete redundant lemmas, upd todo

last admits, delete redundant lemmas, upd todo #67

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_nix
9m 56s
build (coqorg/coq:8.17)
9m 2s
18m 58s