aboutsummaryrefslogtreecommitdiff
path: root/dev/bench
AgeCommit message (Expand)Author
2021-03-07Attempt to fix the bench after coq-core splitGaëtan Gilbert
2021-02-03[bench] Re-enable coq-performance-testsJason Gross
2021-02-02Add VST to the set of default bench packages.Pierre-Marie Pédrot
2021-02-02Merge PR #13805: Bench: remove broken packagesPierre-Marie Pédrot
2021-02-02Bench: don't uselessly rely on initialized opamGaëtan Gilbert
2021-01-29Bench: remove broken packagesGaëtan Gilbert
2020-12-11Bench: add .log extension to .stdout/stderr filesGaëtan Gilbert
2020-11-24Merge PR #13420: Modular printing algorithm for bench/render_results.coqbot-app[bot]
2020-11-20add perennial to benchmark suiteRalf Jung
2020-11-19Modular printing algorithm for bench/render_results.Pierre-Marie Pédrot
2020-10-22Fix bench variablesGaëtan Gilbert
2020-10-19Bench: move variables to the scriptGaëtan Gilbert
2020-10-09[bench] Dump the vo size difference.Pierre-Marie Pédrot
2020-09-03[bench] Only upload some filesJason Gross
2020-09-03[bench] Also upload the raw timing files, etcJason Gross
2020-09-03Merge PR #12899: [bench] Update bench script with better urls and more infoPierre-Marie Pédrot
2020-08-26Use the lite variants of performance tests in the bench default packages.Pierre-Marie Pédrot
2020-08-26Merge PR #12904: Move bench job definition to its own filePierre-Marie Pédrot
2020-08-25Move bench job definition to its own fileGaëtan Gilbert
2020-08-25Remove useless commit guessing logicJason Gross
2020-08-25[bench] Update bench script with better urls and more infoJason Gross
2020-08-24Perform a few tweaks to make the bench script work properly.Pierre-Marie Pédrot
2020-08-20Special commit to start benchmarking.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:20:35 +0000