All pull requests

Pull requests

• Enable Merlin's PPX cache

  #16460·panglesd opened Sep 22, 2026·

  ·
  5

• feat(foreign): make unguarded availability warnings fatal

  #16456·Alizter opened Sep 21, 2026·

  ·
  1

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

  #16444·rgrinberg opened Sep 19, 2026·

  ·

• test(action-plugin): cover detached requests

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

  ·

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

  #16434·kentookura opened Sep 19, 2026·

  ·
  2

  

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

  #16433·kentookura opened Sep 19, 2026·

  ·
  1

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

  #16427·anmonteiro opened Sep 18, 2026·

  ·

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

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

  ·

• test(cram): reproduce sandbox leak on signal shutdown

  no changelog
  #16415·Alizter opened Sep 16, 2026·

  ·
  1

• Tool stanza

  #16411·Sudha247 opened Sep 14, 2026·

  ·
  1

  4

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

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

  ·

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

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

  ·

• Fix builds failing with Unbound module Stdlib when a project uses menhir with package management

  #16374·shonfeder opened Sep 12, 2026·

  ·
  1

  3

• Repro case for loading too many rules for @fmt

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

  ·
  3

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

  #16362·Alizter opened Sep 10, 2026·

  ·
  1

  12

• fix(completion): keep semantic directories open

  #16359·Alizter opened Sep 8, 2026·

  ·
  1

  1

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

  #16356·rgrinberg opened Sep 7, 2026·

  ·
  2

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

  #16326·Janno opened Sep 4, 2026·

  ·
  4

• test(opam_solver): solving sudokus

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

  ·
  1

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

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

  ·
  4

• refactor(opam_solver): split build_problem

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

  ·
  3

• feat(sat): add clauses while solving

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

  ·
  5

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

  #16300·NatKarmios opened Sep 2, 2026·

  ·
  1

• refactor(pkg): remove pkg digests

  no changelogpackage management
  #16292·Alizter opened Sep 1, 2026·

  ·
  7

• fix(stdune): relativize ordinary same-drive Windows paths

  windows
  #16285·Alizter opened Aug 31, 2026·

  ·