Pull requests

• feat(ppx): pass the compilation mode to ppx drivers as a cookie

  #16666·davesnx opened Oct 21, 2026Contributor·3 tasks done·

  ·

• [3.25] Work around overlapping package dependencies

  #16665·Alizter opened Oct 21, 2026Collaborator·

  ·

• refactor(engine): pass dependency facts to Sandbox.add_deps

  #16663·rgrinberg opened Oct 21, 2026Member·

  ·

• refactor(engine): execute anonymous actions without synthetic rules

  #16662·rgrinberg opened Oct 21, 2026Member·

  ·

• fix(install): preserve codesign metadata when re-signing on macOS

  #16658·samoht opened Oct 20, 2026Member·

  ·
  1

• fix(rocq): narrow proof dependencies after discovery

  rocqslop
  #16651·Alizter opened Oct 19, 2026Collaborator·

  ·

• perf(install): concatenate action search paths in one pass

  slop
  #16650·Alizter opened Oct 19, 2026Collaborator·

  ·

• perf(rocq): retain shared dependencies in mixed install directories

  rocqslop
  #16649·Alizter opened Oct 19, 2026Collaborator·

  ·

• test(engine): cover parallel restoration of success prefixes

  #16645·anmonteiro opened Oct 19, 2026Collaborator·

  ·

• perf(merlin): avoid unused compilation dependency facts

  #16644·anmonteiro opened Oct 19, 2026Collaborator·

  ·

• refactor(engine): run Memo computations without build requests

  #16638·rgrinberg opened Oct 18, 2026Member·

  ·

• test(sandbox): cover directory copy actions across sandbox modes

  no changelog
  #16634·Alizter opened Oct 17, 2026Collaborator·

  ·

• fix(sandbox): reject existing destinations when copying inputs

  no changelog
  #16632·Alizter opened Oct 17, 2026Collaborator·

  ·
  4

• Fix Merlin hidden includes for libraries with private modules

  #16629·DirkEmmett opened Oct 17, 2026·

  ·
  1

  

• Show git output *after* the generic error message.

  #16628·mefyl opened Oct 16, 2026Collaborator·3 tasks done·

  ·
  1

• fix(oxcaml): resolve odoc references to parameterised libs

  #16620·art-w opened Oct 16, 2026Contributor·

  ·

• [3.25.0] release

  no changelog
  #16604·shonfeder opened Oct 14, 2026Member·

  ·

• fix(sandbox): materialize directory dependencies as file symlinks

  #16596·Alizter opened Oct 14, 2026Collaborator·

  ·
  1

  1

• fix(melange): separate melange.flags from shared flags

  #16574·anmonteiro opened Oct 12, 2026Collaborator·

  ·

• fix(rocq): Add missing plugin paths to generated _RocqProject file

  rocq
  #16557·Janno opened Oct 7, 2026Contributor·1 of 3 tasks·

  ·
  1

  2

• fix(rpc): isolate default Windows workspace TCP endpoints

  #16550·Munormae opened Oct 6, 2026Contributor·

  ·
  1

  5

  

• fix(rocq): restrict Corelib dependencies to its theories directory

  rocq
  #16545·pgiarrusso-sl opened Oct 5, 2026·1 of 3 tasks·

  ·

• Fix #4842: Installation of different LICENSE files (per opam package in a multi-opam repository/project)

  #16524·pamod-madubashana opened Oct 2, 2026·

  ·
  1

• docs(melange): document single-context library builds

  no changelogsingle-context-universal
  #16501·anmonteiro opened Sep 28, 2026Collaborator·

  ·
  1

• fix(watch): avoid duplicate diagnostics for eager RPC builds

  #16491·Alizter opened Sep 27, 2026Collaborator·

  ·
  1

  1