All pull requests

Pull requests

• fix(ox.nix): use CFLAGS for cflags

  no changelog
  #16565·shonfeder opened Oct 9, 2026Member·3 tasks done·

  ·

• reject directories declared as file targets

  #16564·Alizter opened Oct 9, 2026Collaborator·4 tasks done·

  ·

• fix(lib_config): only localize stdlib if its in a context

  no changelog
  #16563·shonfeder opened Oct 9, 2026Member·3 tasks done·

  ·
  1

  3

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

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

  ·
  1

  2

• test(windows): record RPC registry PID mismatch

  no changelog
  #16553·Munormae opened Oct 6, 2026·

  ·

• test(windows): record shared workspace RPC endpoints

  no changelog
  #16552·Munormae opened Oct 6, 2026·

  ·

• fix(rpc): use native Windows process IDs for registry entries

  #16551·Munormae opened Oct 6, 2026·

  ·
  1

  2

  

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

  #16550·Munormae opened Oct 6, 2026·

  ·
  1

  4

  

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

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

  ·

• Mitigate 3.25.0-RC performance regression on Rocq builds

  regressionrocq
  #16543·pgiarrusso-sl opened Oct 5, 2026·1 of 3 tasks·

  ·
  4

  

• refactor(merlin): retain file configuration metadata

  merlinno changelogsingle-context-universal
  #16522·anmonteiro opened Oct 2, 2026Collaborator·

  ·
  3

• [3.25.0] release

  no changelog
  #16520·shonfeder opened Oct 2, 2026Member·

  ·
  2

• fix(compile_commands): avoid copy_files discovery cycles

  #16518·Alizter opened Oct 1, 2026Collaborator·

  ·
  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

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

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

  ·

• Feat/job slots rule

  needs-version-bump
  #16475·orbitz opened Sep 24, 2026·3 tasks done·

  ·
  8

  

• Enable Merlin's PPX cache

  #16460·panglesd opened Sep 22, 2026Contributor·

  ·
  5

• feat(foreign): make unguarded availability warnings fatal

  macos
  #16456·Alizter opened Sep 21, 2026Collaborator·3 tasks done·

  ·
  1

  1

• test(action-plugin): cover detached requests

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

  ·

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

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

  ·

• 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(completion): keep semantic directories open

  #16359·Alizter opened Sep 8, 2026Collaborator·2 of 3 tasks·

  ·
  1

  1