Skip to content

Pull requests: ocaml/dune

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

dune subst test for directory containing just a .opam file
#11291 opened Jan 14, 2025 by mtelvers Loading…
refactor: remove oop in sat
#11288 opened Jan 13, 2025 by rgrinberg Loading…
refactor(pkg): remove polymorphic comparison
#11287 opened Jan 13, 2025 by rgrinberg Loading…
Add support for x-maintenance-intent in dune-project docs Documentation improvements
#11274 opened Jan 6, 2025 by art-w Loading…
[Change 10953] Missing explanation docs Documentation improvements
#11268 opened Jan 2, 2025 by Sylvain78 Loading…
[Reference manual/Coq] Fix label for VERNAC EXTEND coq docs Documentation improvements
#11235 opened Dec 20, 2024 by jajimajp Loading…
Fix directory targets with empty subdirs bug engine shared-cache Shared artefacts cache
#11226 opened Dec 18, 2024 by ElectreAAS Loading…
test: exhibit a bug when promoting directories bug
#11213 opened Dec 16, 2024 by panglesd Loading…
chore: Promote change of unix; threads -> threads.posix chore Something that just needs to be done.
#11199 opened Dec 12, 2024 by Leonidas-from-XIV Loading…
flake: add overlay nix
#11192 opened Dec 11, 2024 by asymmetric Loading…
Add "coqdoc_header" and "coqdoc_footer" fields. coq
#11131 opened Nov 18, 2024 by rlepigre Loading…
3 tasks done
Update promotion.rst to explain mode promote docs Documentation improvements
#11122 opened Nov 14, 2024 by chris-armstrong Loading…
feature: add aliases for inline tests
#11109 opened Nov 10, 2024 by Alizter Draft
2 tasks
Add reproduction test-case for #11012. coq
#11091 opened Nov 4, 2024 by rlepigre Loading…
chore(nix): update flakes nix
#10968 opened Sep 29, 2024 by rgrinberg Loading…
ProTip! no:milestone will show everything without a milestone.