Skip to content

Pull requests: ocaml/dune

New pull request New
109 Open 8,150 Closed
109 Open 8,150 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

refactor: hide some private functions
#11385 opened Jan 25, 2025 by rgrinberg Loading…
refactor: simplify seal
#11384 opened Jan 24, 2025 by rgrinberg Loading…
Menhir in qualified subdirectory doesn't see modules from the same directory
#11382 opened Jan 24, 2025 by Niols Loading…
pkg: allow pkg for release builds
#11378 opened Jan 24, 2025 by gridbugs Loading…
1
2
chore: changelog dune 3.17.2 release PR or issue for releasing a new dune version
#11374 opened Jan 23, 2025 by maiste • Draft
Fix cram tests build-path-prefix-map substitutions
#11366 opened Jan 21, 2025 by art-w Loading…
4
Concurrent fiber solver
#11362 opened Jan 19, 2025 by rgrinberg Loading…
refactor: specialize string functions for opam's parser string cache
#11350 opened Jan 19, 2025 by rgrinberg Loading…
Shorter path for inline-tests
#11307 opened Jan 16, 2025 by hhugo Loading…
5
refactor(pkg): reuse opam buffer for parsing
#11302 opened Jan 14, 2025 by rgrinberg Loading…
refactor(pkg): buffer string reading
#11301 opened Jan 14, 2025 by rgrinberg Loading…
refactor(pkg): switch to arrays for literals in all clauses
#11298 opened Jan 14, 2025 by rgrinberg Loading…
chore: add x-maintenance-intent to dune opam files
#11275 opened Jan 7, 2025 by art-w Loading…
11
[Reference manual/Coq] Fix label for VERNAC EXTEND coq docs Documentation improvements
#11235 opened Dec 20, 2024 by jajimajp Loading…
@ejgallego
Fix directory targets with empty subdirs bug engine shared-cache Shared artefacts cache
#11226 opened Dec 18, 2024 by ElectreAAS Loading…
1
8
Adapt JSOO rules for new --effects= option jsoo
#11222 opened Dec 17, 2024 by OlivierNicole Loading…
19
test: exhibit a bug when promoting directories bug
#11213 opened Dec 16, 2024 by panglesd Loading…
6
feat(melange): add manifest information for melange.emit melange
#11209 opened Dec 15, 2024 by anmonteiro • Draft
test: Repro 'dune fmt' crash in presence of Nix result nix
#11202 opened Dec 13, 2024 by Julow Loading…
9
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…
1
flake: add overlay nix
#11192 opened Dec 11, 2024 by asymmetric Loading…
4
Add "coqdoc_header" and "coqdoc_footer" fields. coq
#11131 opened Nov 18, 2024 by rlepigre Loading…
3 tasks done
@ejgallego
12
Update promotion.rst to explain mode promote docs Documentation improvements
#11122 opened Nov 14, 2024 by chris-armstrong Loading…
13
test: Sibling modules should be accessible from qualified parsers
#11118 opened Nov 13, 2024 by brendanzab Loading…
6
feature: add aliases for inline tests
#11109 opened Nov 10, 2024 by Alizter • Draft
2 tasks
5
ProTip! What’s not been updated in a month: updated:<2024-12-24.