Skip to content

Pull requests: ocaml/dune

New pull request New
100 Open 11,136 Closed
100 Open 11,136 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

chore: add changelog for #14904
#15441 opened Jul 7, 2026 by vouillon Member Loading…
[3.24.1] release
#15440 opened Jul 7, 2026 by shonfeder Member • Draft
ci: build aarch64 linux artifact on ubuntu-24.04-arm
#15438 opened Jul 6, 2026 by Alizter Collaborator • Draft
fix(jsoo): keep archive dirs for interface-only libraries
#15427 opened Jul 6, 2026 by anmonteiro Collaborator • Draft
Use same compiler settings for .#dune and .#dune-static
#15408 opened Jul 3, 2026 by Leonidas-from-XIV Member • Draft
Use Aarch64 toolchain for the dune-static build
#15407 opened Jul 3, 2026 by Leonidas-from-XIV Member Loading…
1
[doc] Add documentation page explaining shell completion
#15403 opened Jul 2, 2026 by ElectreAAS Collaborator Loading…
@ElectreAAS
16
Add preliminary support for Rocq's packaging support
#15400 opened Jul 1, 2026 by rlepigre-skylabs-ai Collaborator Loading…
WIP: Narrow which in pkg context
#15381 opened Jun 29, 2026 by punchagan Contributor • Draft
@punchagan
1
fix(melange): stage wrapped root deps for JS emission in the sandbox melange Melange rules and generator
#15376 opened Jun 29, 2026 by anmonteiro Collaborator Loading…
feature(fiber): add Cancel.make_child for linked cancellation
#15364 opened Jun 28, 2026 by rgrinberg Member Loading…
Rocq output test name alias rocq Dune support for the Rocq proof assistant
#15349 opened Jun 26, 2026 by rlepigre-skylabs-ai Collaborator Loading…
Attach Rocq output tests to the right directory rocq Dune support for the Rocq proof assistant
#15347 opened Jun 26, 2026 by rlepigre-skylabs-ai Collaborator Loading…
feat(promote): complete pending promotion files
#15338 opened Jun 26, 2026 by Alizter Collaborator • Draft
1 task done
1
11
ci: use cachix for all nix jobs
#15327 opened Jun 25, 2026 by Alizter Collaborator Loading…
3 tasks
3
refactor(nix): drop odoc/odoc-parser overrides
#15326 opened Jun 25, 2026 by Alizter Collaborator Loading…
feature(clean): accept source directories (#2288)
#15305 opened Jun 24, 2026 by rgrinberg Member Loading…
1
show env: accept absolute workspace paths
#15296 opened Jun 23, 2026 by pushkarscripts Loading…
1
4
fix(odoc): handle build-dir cmti paths in @doc-new fallback (#15290)
#15293 opened Jun 23, 2026 by Alizter Collaborator Loading…
2 tasks
1
7
feat(sandbox-actions): add Landlock backend
#15231 opened Jun 18, 2026 by rgrinberg Member • Draft
Fix sites plugin test dune-site-plugin The `dune-site` plugin — lets executables dynamically load installation artifacts at runtime
#15224 opened Jun 17, 2026 by paurkedal Loading…
doc: make syntax symbols searchable
#15189 opened Jun 13, 2026 by rgrinberg Member Loading…
1
feat(memo): let human_readable_description opt out per input
#15144 opened Jun 11, 2026 by rgrinberg Member Loading…
test: dune fmt RPC ignores client cwd (#15107) rpc Dune's RPC server and client support test-suite
#15120 opened Jun 10, 2026 by Alizter Collaborator • Draft
@Alizter
test: dune build RPC misresolves relative targets from client subdir (#15106) build Issue related to what dune build rpc Dune's RPC server and client support test-suite
#15119 opened Jun 10, 2026 by Alizter Collaborator • Draft
@Alizter
ProTip! Mix and match filters to narrow down what you’re looking for.