Commits

Branch selector

 master

User selector

Kha

Datepicker

All time

Commit History

Commits on Oct 23, 2025

• chore: do not double-build nightly-testing non-fork PRs (#30834)

  Show description for b1e4080
  Kha

  committed
  b1e4080

  Copy full SHA for b1e4080

Commits on Aug 21, 2025

• chore: bench report documentation (#28734)

  Show description for ea5d04e
  Kha

  committed
  ea5d04e

  Copy full SHA for ea5d04e

Commits on Aug 19, 2025

• chore: upload bench outputs (#28634)

  Show description for fec9776
  Kha

  committed
  fec9776

  Copy full SHA for fec9776

Commits on Aug 6, 2025

• chore: do not include cache requests in build benchmark (#24889)

  Kha

  committed
  aec92dc

  Copy full SHA for aec92dc

Commits on Oct 11, 2024

• chore(scripts/bench): benchmark with `--no-cache` (#17572)

  Show description for cd0f1a3
  Kha

  committed
  cd0f1a3

  Copy full SHA for cd0f1a3

Commits on May 10, 2024

• chore: compatibility with Lean incrementality branch (#12796)

  Show description for 8d93a53
  Kha

  committed
  8d93a53

  Copy full SHA for 8d93a53

Commits on Feb 9, 2024

• chore: cache: do not try to upload files just downloaded (#9687)

  Show description for 0be5ab0
  

  Kha

  and

  digama0

  committed
  0be5ab0

  Copy full SHA for 0be5ab0

• chore: add "porting notes" benchmarking metric (#5994)

  Kha

  committed
  65cb927

  Copy full SHA for 65cb927

Commits on Jan 10, 2024

• chore: benchmark userspace instructions only per file (#8957)

  Show description for 5b559b2
  Kha

  committed
  5b559b2

  Copy full SHA for 5b559b2

Commits on Jan 3, 2024

• chore: switch cache to Lean FRO R2 bucket (#9409)

  Show description for 7d58fa3
  

  Kha

  and

  digama0

  committed
  7d58fa3

  Copy full SHA for 7d58fa3

Commits on Dec 13, 2023

• chore: fix number of runs of "open Mathlib" benchmark (#8891)

  Kha

  committed
  3889cd2

  Copy full SHA for 3889cd2

Commits on Dec 5, 2023

• chore: fix "open Mathlib" benchmark (#8808)

  Kha

  committed
  1751be6

  Copy full SHA for 1751be6

Commits on Nov 25, 2023

• perf: process imported `#align`s lazily (#8199)

  Show description for cfedb30
  

  3 peoplecommitted
  cfedb30

  Copy full SHA for cfedb30

Commits on Nov 5, 2023

• chore: add `open Mathlib` benchmark (#8196)

  Kha

  authored
  df32aa2

  Copy full SHA for df32aa2

Commits on Aug 18, 2023

• perf: use Lake's `crlf2lf` (#6647)

  Show description for 05ef5b4
  Kha

  committed
  05ef5b4

  Copy full SHA for 05ef5b4

Commits on Aug 6, 2023

• chore: move some benchmarking files over from Kha/mathlib4-bench (#5993)

  Show description for 3ce19f5
  Kha

  committed
  3ce19f5

  Copy full SHA for 3ce19f5

Commits on Jul 4, 2023

• chore: warn on cache misses (#5692)

  Show description for eff98f6
  Kha

  committed
  eff98f6

  Copy full SHA for eff98f6

Commits on Jun 7, 2023

• doc: fix `lake new` incantation in readme (#4724)

  Kha

  committed
  83a4c1c

  Copy full SHA for 83a4c1c

Commits on May 16, 2023

• doc: revamp "Using `mathlib4` as a dependency" (#4008)

  Kha

  committed
  1c09f07

  Copy full SHA for 1c09f07

Commits on Apr 21, 2023

• fix: sync file list expected by cache with Lake changes (#3571)

  Show description for 6f8cb06
  Kha

  committed
  6f8cb06

  Copy full SHA for 6f8cb06

Commits on Mar 27, 2023

• chore: normalize line endings for file hash (#3096)

  Kha

  committed
  30a60ca

  Copy full SHA for 30a60ca

Commits on Mar 26, 2023

• chore: download recent curl if necessary on x64 Linux (#3097)

  Kha

  committed
  e2501e8

  Copy full SHA for e2501e8

Commits on Mar 16, 2023

• chore: bump to nightly-2023-03-15 (#2906)

  Kha

  committed
  9cbf797

  Copy full SHA for 9cbf797

Commits on Mar 10, 2023

• feat: improve curl invocation (#2751)

  Kha

  committed
  77653f3

  Copy full SHA for 77653f3

Commits on Mar 2, 2023

• chore: make scripts/benchmark.sh more robust (#2460)

  Kha

  committed
  7b1a865

  Copy full SHA for 7b1a865