We bench the Coq opam packages, not Coq itself. The compilation times are only informative. To discuss, there is a live thread on Zulip.
The main aim of Coq bench is to check that all stable Coq packages are working. We check all packages in all versions. We target the current Coq projects and the reproducibility of older ones. We install each package from a fresh Coq install. This is more a checker than a bench. For precise timings, look at github.com/coq/coq-bench. If you find a bug in an opam package, please report it on github.com/coq/opam-coq-archive/issues.
This website has been running continuously almost since the beginning of the use of opam as a package mananger for Coq. The first commit dates back to February 2015. We host everything on GitHub, both the source code and the website. We run the tests on separated servers, and commit results in GitHub. One needs to be part of the coq-bench organization to have control of everything. A similar project in the OCaml community is check.ocamllabs.io.
coq-intuitionistic-nuprl
, againcoq-intuitionistic-nuprl
(too slow)8.9
8.8
8.7
8.6
8.5.3
8.6.dev
8.5.2
opam lint
checkSend an email to coqbench [at] clarus [dot] me
.