All pull requests

Pull requests

• refactor(modules): extract alias group lookup

  #16487·anmonteiro opened Sep 26, 2026Collaborator·

  ·

• test(sandbox): reproduce path reuse and failed setup leaks

  no changelog
  #16485·Alizter opened Sep 26, 2026Collaborator·

  ·

• perf(engine): avoid combining empty generated rules

  no changelog
  #16483·anmonteiro opened Sep 26, 2026Collaborator·

  ·
  2

• test(engine): cover empty generated-rule combinations

  #16482·anmonteiro opened Sep 26, 2026Collaborator·

  ·

• Feat/job slots rule

  #16475·orbitz opened Sep 24, 2026·

  ·
  7

  

• fix(menhir): infer through a private alias interface

  #16464·anmonteiro opened Sep 24, 2026Collaborator·

  ·
  1

• Enable Merlin's PPX cache

  #16460·panglesd opened Sep 22, 2026Contributor·

  ·
  5

• feat(foreign): make unguarded availability warnings fatal

  #16456·Alizter opened Sep 21, 2026Collaborator·

  ·
  1

• test(action-plugin): expose stale outputs during watch rebuilds

  #16444·rgrinberg opened Sep 19, 2026Member·

  ·

• test(action-plugin): cover detached requests

  no changelog
  #16443·rgrinberg opened Sep 19, 2026Member·

  ·

• fix(engine): copy directory targets when creating install symlinks on windows

  #16434·kentookura opened Sep 19, 2026Contributor·

  ·
  2

  

• fix(cram): translate script path passed to sh on windows

  #16433·kentookura opened Sep 19, 2026Contributor·

  ·
  1

• fix(menhir): avoid self-shadowing parser group interfaces

  #16427·anmonteiro opened Sep 18, 2026Collaborator·

  ·

• feat(action-plugin): accept absolute input paths

  no changelog
  #16423·rgrinberg opened Sep 17, 2026Member·

  ·

• Tool stanza

  #16411·Sudha247 opened Sep 14, 2026Member·

  ·
  1

  4

• fix(action-plugin): connect helpers from different directories

  no changelog
  #16385·rgrinberg opened Sep 12, 2026Member·

  ·

• feat(action-plugin): restore dynamic actions from the shared cache

  no changelog
  #16380·rgrinberg opened Sep 12, 2026Member·

  ·

• Repro case for loading too many rules for @fmt

  no changelog
  #16364·Leonidas-from-XIV opened Sep 11, 2026Member·

  ·
  3

• fix(package-deps): follow library-induced package closure

  #16362·Alizter opened Sep 10, 2026Collaborator·

  ·
  1

  13

• fix(completion): keep semantic directories open

  #16359·Alizter opened Sep 8, 2026Collaborator·

  ·
  1

  1

• test(action-plugin): expose missing package dependency inference

  #16356·rgrinberg opened Sep 7, 2026Member·

  ·
  2

• Rocq: Ignore broken .vo symlinks when traversing installed theories

  #16326·Janno opened Sep 4, 2026Contributor·

  ·
  4

• test(opam_solver): solving sudokus

  no changelog
  #16325·art-w opened Sep 4, 2026Contributor·

  ·
  1

• refactor(opam_solver): no priority avoidance for avoid-version

  no changelog
  #16307·art-w opened Sep 2, 2026Contributor·

  ·
  4

• refactor(opam_solver): split build_problem

  no changelog
  #16306·art-w opened Sep 2, 2026Contributor·

  ·
  3