Code

Improve benchmarks#1034

Code

Merged

jonludlam merged 4 commits intoocaml:masterocaml/odoc:masterfrom Julow:driver-bench-longestJulow/odoc:driver-bench-longestCopy head branch name to clipboardNov 7, 2023

+101-85

Commits

Commits on Oct 26, 2023

• driver.mld: Factorize metrics computing code

  Show description for b1ce4a9
  

  Julow

  and

  gpetiot

  committed
  b1ce4a9

Commits on Oct 31, 2023

• driver.mld: Metrics for the 5 longest commands

  Show description for 5f3697b
  Julow

  committed
  5f3697b

Commits on Nov 2, 2023

• driver.mld: Benchmark building 'core'

  Show description for 342c846
  Julow

  committed
  342c846

• driver.mld: Fix Mdx error hidden by Dune error

  Show description for 2f59a5d
  Julow

  committed
  2f59a5d