coq - The formal proof system

Age	Commit message (Collapse)	Author
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	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-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