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-dev
OPAM 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.