Code

chore: User header input in reports#7

Code

Open

vezenovm wants to merge 6 commits intomainnoir-lang/noir-bench-report:mainfrom mv/header-input-in-reportsnoir-lang/noir-bench-report:mv/header-input-in-reportsCopy head branch name to clipboard

+56-44

Commits

Commits on Dec 20, 2024

• initial threading of header into reports

  vezenovm

  committed
  5d55c0d

• Merge branch 'main' into mv/header-input-in-reports

  vezenovm

  committed
  c6219d1

• release

  vezenovm

  committed
  9c847f3

• update tests

  vezenovm

  committed
  f054110

Commits on Dec 21, 2024

• use header when we do not have a diff column

  vezenovm

  committed
  52a7250

• bring back only using seconds

  vezenovm

  committed
  e0a9b8e