After rocq-prover/rocq#12581 [which was merged by side-effect in rocq-prover/rocq#12816] , the coq-bench script is maintained in the main Coq repository.
Please, head to https://github.com/coq/coq for issues and up-to-date code. This repository will be shortly archived, once all the issues have been closed or transferred out.
We keep the old readme below for historical purposes.
coq-bench is a set of scripts that allow users to track performance changes between two different versions of Coq.
The scripts can be run on INRIA's Jenkins instance or in your own machine.
See (Jenkins Instructions)[https://github.com/coq/coq/wiki/Jenkins-(automated-benchmarking)]
Results can be seen at https://ci.inria.fr/coq/job/benchmark-part-of-the-branch/
Maintainer of coq-bench is Emilio Jesús Gallego Arias; see the contributing file information about contributing to this software.
-
Add your package to the
coq-extra-devOPAM repository https://github.com/coq/opam-coq-archive , for that you'll need to submit a pull request. -
Go to the web UI https://ci.inria.fr/coq/view/benchmarking/job/benchmark-part-of-the-branch/configure and add the package to the default list. You will need admin privileges on the CI instance in order to do this.
Soon, see Travis file to see how the setup works.