coq - The formal proof system

Age	Commit message (Collapse)	Author
2021-02-02	Bench: don't uselessly rely on initialized opam	Gaëtan Gilbert
	AFAICT this init.sh call is useless.
2020-10-19	Bench: move variables to the script	Gaëtan Gilbert
	IMO it makes more sense this way, also it's more convenient if someone wants to run the script locally.
2020-09-03	[bench] Only upload some files	Jason Gross
	We will now also record a listing of all files that we could have uploaded, in case we want to know what's available to upload in the future.
2020-09-03	[bench] Also upload the raw timing files, etc	Jason Gross

2020-08-26	Use the lite variants of performance tests in the bench default packages.	Pierre-Marie Pédrot
	They are much faster and should be as informative as their heavy counterparts. I have been forgetting to do that for a long time already.
2020-08-25	Move bench job definition to its own file	Gaëtan Gilbert
	This focuses review requests to bench-maintainers instead of sharing with ci-maintainers