coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/bench/plotter

October 2023

coqbot-app[bot]
Merge PR #18170: bench plotter: set max host connections (avoid spamming gitlab)
committed
Gaëtan Gilbert
bench plotter: set max host connections (avoid spamming gitlab)
committed

February 2023

coqbot-app[bot]
Merge PR #17208: Update bench plotter
committed
Gaëtan Gilbert
Update bench plotter
committed

January 2022

coqbot-app[bot]
Merge PR #15296: Bench plotter script
committed

December 2021

Gaëtan Gilbert
Bench plotter script
committed