coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-11-20	add perennial to benchmark suite	Ralf Jung

2020-10-22	Fix bench variables	Gaëtan Gilbert

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-10-09	[bench] Dump the vo size difference.	Pierre-Marie Pédrot

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-09-03	Merge PR #12899: [bench] Update bench script with better urls and more info	Pierre-Marie Pédrot
	Ack-by: SkySkimmer Reviewed-by: ppedrot
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-26	Merge PR #12904: Move bench job definition to its own file	Pierre-Marie Pédrot
	Reviewed-by: ppedrot
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
2020-08-25	Remove useless commit guessing logic	Jason Gross
	On GitLab, we don't need to base the job info on the PR number, since it ought to be available from the git repo. Removing the logic will make the bench infrastructure more uniform.
2020-08-25	[bench] Update bench script with better urls and more info	Jason Gross

2020-08-24	Perform a few tweaks to make the bench script work properly.	Pierre-Marie Pédrot

2020-08-20	Special commit to start benchmarking.	Maxime Dénès