Code

Enable dune cache by default#10710

Code

Merged

rgrinberg merged 5 commits intoocaml:mainocaml/dune:mainfrom ElectreAAS:cache_DPElectreAAS/dune:cache_DPCopy head branch name to clipboardAug 26, 2024

+123-30

Commits

Commits on Aug 23, 2024

• Added feature flag to enable dune cache by default

  Show description for 3984bda
  

  ElectreAAS

  authored and

  Leonidas-from-XIV

  committed
  3984bda

• Added env var CACHE_USER_RULES, trying to use it with default cache enabled

  Show description for 0f79e1f
  

  ElectreAAS

  authored and

  Leonidas-from-XIV

  committed
  0f79e1f

• Updated test case to reflect new behaviour

  Show description for d0f716e
  

  ElectreAAS

  authored and

  Leonidas-from-XIV

  committed
  d0f716e

• Incorporate review comments

  Show description for db64c34
  Leonidas-from-XIV

  committed
  db64c34

Commits on Aug 26, 2024

• _

  Show description for a27b2f6
  rgrinberg

  committed
  a27b2f6