Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Mar 2, 2026

• doc(misc): fix typos (#35856)

  Show description for 1423e7a
  harahu

  committed
  1423e7a

  Copy full SHA for 1423e7a

Commits on Feb 19, 2026

• ci: Revert cache get default behavior for skip-proofwidgets (#35542)

  Show description for 44978c2
  marcelolynch

  committed
  44978c2

  Copy full SHA for 44978c2

Commits on Feb 18, 2026

• ci: Secure proofwidgets fetches on cache get (#35463)

  Show description for c4dcefd
  marcelolynch

  committed
  c4dcefd

  Copy full SHA for c4dcefd

Commits on Feb 16, 2026

• perf(Cache): skip decompression for already-unpacked files (#34667)

  Show description for 166e5da
  kim-em

  committed
  166e5da

  Copy full SHA for 166e5da

Commits on Feb 13, 2026

• fix(Cache): Do not treat 201 Created as an error code (#35270)

  Show description for 14d98a4
  marcelolynch

  committed
  14d98a4

  Copy full SHA for 14d98a4

• ci: Push to cache in a separate job to isolate secrets (#34847)

  Show description for 2446f25
  marcelolynch

  committed
  2446f25

  Copy full SHA for 2446f25

• feat(Cache): continue trying to download if the first repository had some errors (#34539)

  Show description for 8b90ac7
  grunweg

  committed
  8b90ac7

  Copy full SHA for 8b90ac7

Commits on Jan 8, 2026

• fix(Cache): option order in usage & error messages (#33735)

  Show description for 2a4088c
  tydeu

  committed
  2a4088c

  Copy full SHA for 2a4088c

Commits on Jan 6, 2026

• chore(Cache): add README and rename USE_FRO_CACHE to MATHLIB_CACHE_USE_CLOUDFLARE (#33647)

  Show description for c897694
  kim-em

  committed
  c897694

  Copy full SHA for c897694

• fix(Cache): print ProofWidgets build stdout on error (#33651)

  Show description for 15f6691
  

  tydeu

  and

  kim-em

  committed
  15f6691

  Copy full SHA for 15f6691

• feat(Cache): environment-configurable URLs (#33605)

  Show description for c43754f
  tydeu

  committed
  c43754f

  Copy full SHA for c43754f

Commits on Dec 26, 2025

• doc(misc): fix file refs (#33258)

  Show description for 561ba4a
  harahu

  committed
  561ba4a

  Copy full SHA for 561ba4a

Commits on Dec 14, 2025

• chore: bump toolchain to v4.27.0-rc1 (#32874)

  Show description for 5e9b6b9
  

  6 peoplecommitted
  5e9b6b9

  Copy full SHA for 5e9b6b9

Commits on Nov 18, 2025

• chore: bump toolchain to v4.26.0-rc1 (#31763)

  Show description for 1988a78
  

  6 peoplecommitted
  1988a78

  Copy full SHA for 1988a78

Commits on Nov 6, 2025

• chore: allow uploading oleans for LeanHammer (#31327)

  Show description for c6b3276
  JOSHCLUNE

  committed
  c6b3276

  Copy full SHA for c6b3276

Commits on Oct 27, 2025

• chore: allow 'exe cache' to upload Canonical oleans (#30952)

  Show description for 2b63991
  kim-em

  committed
  2b63991

  Copy full SHA for 2b63991

Commits on Oct 25, 2025

• chore: bump leantar to v0.1.16 (#30874)

  kim-em

  committed
  dc82ad5

  Copy full SHA for dc82ad5

Commits on Oct 23, 2025

• chore: allow uploading oleans for Reap (#30818)

  Show description for ba4e2b0
  kim-em

  committed
  ba4e2b0

  Copy full SHA for ba4e2b0

• chore: revert #30788 and #30785 (#30807)

  bryangingechen

  authored
  4cc49eb

  Copy full SHA for 4cc49eb

• chore: bump leantar to 0.1.16-pre4 (#30813)

  kim-em

  committed
  3ae8eef

  Copy full SHA for 3ae8eef

Commits on Oct 22, 2025

• chore: revert #30740 and #30748 (#30788)

  Show description for 2521caa
  bryangingechen

  authored
  2521caa

  Copy full SHA for 2521caa

Commits on Oct 21, 2025

• chore: fix bad merge of bump/v4.25.0 (#30748)

  kim-em

  authored
  da2fd30

  Copy full SHA for da2fd30

• chore: merge bump/v4.25.0 (#30740)

  kim-em

  authored
  258b485

  Copy full SHA for 258b485

Commits on Oct 16, 2025

• chore: simplify cache's treatment of nightly-testing (#30571)

  Show description for c0b3860
  kim-em

  committed
  c0b3860

  Copy full SHA for c0b3860

Commits on Oct 15, 2025

• chore: remove ancient version test in cache (#30566)

  kim-em

  committed
  758089c

  Copy full SHA for 758089c

Commits on Sep 23, 2025

• fix(Cache): misleading ProofWidgets fetch failure (#29886)

  Show description for bde7e02
  tydeu

  committed
  bde7e02

  Copy full SHA for bde7e02

Commits on Sep 11, 2025

• chore: convert all linkifiers to links (#29521)

  Show description for 1cd0521
  kim-em

  committed
  1cd0521

  Copy full SHA for 1cd0521

Commits on Sep 10, 2025

• feat(Cache): richer reporting for uploads & downloads (#29483)

  Show description for e158447
  tydeu

  committed
  e158447

  Copy full SHA for e158447

Commits on Sep 9, 2025

• chore: control 'lake exe cache' backend with environment variable (#29462)

  kim-em

  committed
  746dca7

  Copy full SHA for 746dca7

Commits on Sep 8, 2025

• chore: revert to Azure cache (#29414)

  kim-em

  authored
  a3e910d

  Copy full SHA for a3e910d

Commits on Aug 30, 2025

• style: prefer `some`/`none` over `.some`/`.none` (#27896)

  Show description for 4594829
  JovanGerb

  committed
  4594829

  Copy full SHA for 4594829

Commits on Aug 29, 2025

• fix(Cache): add put* commands to leanTarArgs (#28164)

  Show description for c59884f
  bryangingechen

  committed
  c59884f

  Copy full SHA for c59884f

Commits on Aug 15, 2025

• chore: bump toolchain to v4.23.0-rc2 (#28454)

  kim-em

  authored
  90c0e18

  Copy full SHA for 90c0e18

Commits on Aug 12, 2025

• feat: add cache support for nightly-testing-YYYY-MM-DD tags (#28029)

  Show description for 135bc01
  kim-em

  committed
  135bc01

  Copy full SHA for 135bc01

Commits on Aug 11, 2025

• feat: add advice on cache failure (#28237)

  kim-em

  committed
  a893ede

  Copy full SHA for a893ede

Pagination

Previous

Next