Commits

Breadcrumbs

History for

ondc82ad5

User selector

All users

All time

Commit History

Commits on Oct 15, 2025

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

  kim-em

  committed
  758089c

  Copy full SHA for 758089c

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 May 24, 2025

• feat(Cache): repository-scoped caches (#25137)

  Show description for bd15474
  tydeu

  committed
  bd15474

  Copy full SHA for bd15474

Commits on Apr 3, 2025

• chore: bump toolchain to v4.19.0-rc2 (#23614)

  Show description for 24d8de9
  

  4 peoplecommitted
  24d8de9

  Copy full SHA for 24d8de9

• refactor(Cache): use module name as key instead of unresolved file path (#21834)

  Show description for 1fe3d6a
  

  joneugster

  and

  eric-wieser

  committed
  1fe3d6a

  Copy full SHA for 1fe3d6a

Commits on Mar 31, 2025

• feat(Cache): extend argument-parsing to allow module names and file names (#21822)

  Show description for 2ca9a55
  

  joneugster

  and

  eric-wieser

  committed
  2ca9a55

  Copy full SHA for 2ca9a55

Commits on Feb 11, 2025

• doc(Cache): mention arguments to `cache lookup` help (#21701)

  Show description for 23f46b2
  joneugster

  committed
  23f46b2

  Copy full SHA for 23f46b2

Commits on Jan 9, 2025

• doc(Cache): add resp. tweak some documentation (#20606)

  Show description for 6b7dfde
  grunweg

  committed
  6b7dfde

  Copy full SHA for 6b7dfde

Commits on May 3, 2024

• chore: cache warns about bad v4.8.0-rc1 toolchain (#12623)

  Show description for e5e93cf
  kim-em

  committed
  e5e93cf

  Copy full SHA for e5e93cf

Commits on Mar 19, 2024

• fix(Cache): do not read lake-manifest.json at import-time (#11492)

  Show description for efca024
  eric-wieser

  committed
  efca024

  Copy full SHA for efca024

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

Commits on Jan 7, 2024

• chore(*): replace `$` with `<|` (#9319)

  Show description for 9f6d338
  urkud

  committed
  9f6d338

  Copy full SHA for 9f6d338

Commits on Jan 4, 2024

• fix: partial revert of #9409 (re-enable Azure cache) (#9419)

  Show description for 7c03101
  digama0

  committed
  7c03101

  Copy full SHA for 7c03101

Commits on Dec 11, 2023

• feat: lake exe cache lookup (#8838)

  Show description for 1ec8402
  digama0

  committed
  1ec8402

  Copy full SHA for 1ec8402

Commits on Nov 19, 2023

• chore: faster help text from 'lake exe cache' (#8454)

  Show description for b5586ed
  kim-em

  committed
  b5586ed

  Copy full SHA for b5586ed

Commits on Sep 15, 2023

• feat: add git origin info to cache .ltar files (#7143)

  Show description for 9db9cbb
  digama0

  committed
  9db9cbb

  Copy full SHA for 9db9cbb

Commits on Sep 4, 2023

• chore: run cache in archive and counterexamples (#6945)

  Show description for ef128c4
  kim-em

  committed
  ef128c4

  Copy full SHA for ef128c4

Commits on Aug 8, 2023

• feat: cache accepts module names as well as file names (#5577)

  Show description for dbd4d4f
  kim-em

  committed
  dbd4d4f

  Copy full SHA for dbd4d4f

Commits on Jul 19, 2023

• feat: make `lake exe cache get!` unpack everything (#5991)

  Show description for 965d6f6
  digama0

  committed
  965d6f6

  Copy full SHA for 965d6f6

Commits on Jul 17, 2023

• feat: use `leantar` in `lake exe cache` (#5710)

  Show description for ede7b29
  digama0

  authored
  ede7b29

  Copy full SHA for ede7b29

Commits on Jul 13, 2023

• chore: revert leantar #5710 for further testing (#5853)

  Show description for aeaebdd
  kim-em

  committed
  aeaebdd

  Copy full SHA for aeaebdd

• feat: use `leantar` in `lake exe cache` (#5710)

  Show description for 6ed1d66
  digama0

  committed
  6ed1d66

  Copy full SHA for 6ed1d66

Commits on Jul 12, 2023

• chore: revert move utilities into Util directory (#5787) (#5825)

  Show description for 806f7f9
  kim-em

  committed
  806f7f9

  Copy full SHA for 806f7f9

Commits on Jul 11, 2023

• chore: move utilities into Util directory (#5787)

  Show description for 4dd7b55
  

  kim-em

  and

  Ruben-VandeVelde

  committed
  4dd7b55

  Copy full SHA for 4dd7b55

Commits on Jun 2, 2023

• fix: spacing and indentation in tactic formatters (#4519)

  Show description for 162ec81
  digama0

  committed
  162ec81

  Copy full SHA for 162ec81

Commits on Apr 18, 2023

• feat: add 'cache get-' flag that does not decompress (#3179)

  Show description for 4cf370e
  kim-em

  committed
  4cf370e

  Copy full SHA for 4cf370e

Commits on Apr 11, 2023

• feat: fallback to Task parallelization if curl --parallel is not available (#3146)

  Show description for 93fc8ff
  kim-em

  committed
  93fc8ff

  Copy full SHA for 93fc8ff

Commits on Jan 30, 2023

• fix: curl is not needed for all commands (#1956)

  Show description for 8ab521e
  arthurpaulino

  committed
  8ab521e

  Copy full SHA for 8ab521e

Commits on Jan 13, 2023

• fix: normalize cache get and get! paths arguments (#1532)

  Show description for 669bc5a
  

  arthurpaulino

  and

  eric-wieser

  committed
  669bc5a

  Copy full SHA for 669bc5a

Commits on Jan 11, 2023

• fix: help menu for cache CLI (#1472)

  Show description for 61e7d4f
  arthurpaulino

  committed
  61e7d4f

  Copy full SHA for 61e7d4f

Commits on Jan 10, 2023

• feat: specific file names for `cache get` and `cache get!` (#1430)

  Show description for 1d47ea1
  arthurpaulino

  committed
  1d47ea1

  Copy full SHA for 1d47ea1

Commits on Jan 6, 2023

• chore: validate curl version when using cache (#1383)

  Show description for a4f3950
  arthurpaulino

  committed
  a4f3950

  Copy full SHA for a4f3950

Commits on Jan 5, 2023

• fix: always unpack caches (#1342)

  Show description for be095e0
  gebner

  committed
  be095e0

  Copy full SHA for be095e0

Commits on Jan 4, 2023

• fix: multiple cache bugs (#1333)

  Show description for ba43d2d
  arthurpaulino

  committed
  ba43d2d

  Copy full SHA for ba43d2d

Commits on Jan 3, 2023

• feat: ci: upload caches to azure (#1320)

  gebner

  committed
  35255de

  Copy full SHA for 35255de

Pagination

Previous

Next