All pull requests

Pull requests

• fix(merlin): disambiguate lookup by filename without extension

  #16536·anmonteiro opened Oct 4, 2026Collaborator·

  ·

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

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

  ·
  1

• refactor(merlin): retain file configuration metadata

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

  ·

• [3.25.0] release

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

  ·
  1

• 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

• perf(rules): insert singleton rule collections directly

  no changelog
  #16498·anmonteiro opened Sep 27, 2026Collaborator·

  ·

• 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·

  ·
  7

  

• 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

• 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·1 of 3 tasks·

  ·
  5

• 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

• feat(sat): add clauses while solving

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

  ·
  5

• feat(describe): include melange targets in describe workspace

  #16300·NatKarmios opened Sep 2, 2026Contributor·3 tasks done·

  ·
  1