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
Assigned to nobody Loading
Sort

Pull requests list

fix(engine): always remove write permissions from generated files
#16388 opened Sep 12, 2026 by rgrinberg Member Loading…
fix(action-plugin): connect helpers from different directories
#16385 opened Sep 12, 2026 by rgrinberg Member Loading…
feat(action-plugin): restore dynamic actions from the shared cache
#16380 opened Sep 12, 2026 by rgrinberg Member Loading…
doc: explain progress status line docs Documentation — manual, MLI doc-strings, README, docs site no changelog rpc Dune's RPC server and client support
#16366 opened Sep 11, 2026 by Alizter Collaborator Draft
fix(completion): keep semantic directories open
#16359 opened Sep 8, 2026 by Alizter Collaborator Loading…
2 of 3 tasks
[WIP] Add User Stories for Dune Tools no changelog
#16352 opened Sep 7, 2026 by Sudha247 Member Draft
3 tasks done
Rocq: Ignore broken .vo symlinks when traversing installed theories
#16326 opened Sep 4, 2026 by Janno Contributor Draft
1 of 3 tasks
test(opam_solver): solving sudokus no changelog
#16325 opened Sep 4, 2026 by art-w Contributor Loading…
refactor(opam_solver): split build_problem no changelog
#16306 opened Sep 2, 2026 by art-w Contributor Loading…
feat(sat): add clauses while solving no changelog
#16303 opened Sep 2, 2026 by art-w Contributor Loading…
feat(describe): include melange targets in describe workspace
#16300 opened Sep 2, 2026 by NatKarmios Contributor Loading…
3 tasks done
refactor(pkg): remove pkg digests no changelog package management Dune's package management — `(pkg)` stanza, lockdirs, `dune pkg` commands
#16292 opened Sep 1, 2026 by Alizter Collaborator Draft
fix(stdune): relativize ordinary same-drive Windows paths windows Issues that relate to Dune on Microsoft Windows
#16285 opened Aug 31, 2026 by Alizter Collaborator Loading…
fix(engine): release process resources when spawning fails
#16266 opened Aug 30, 2026 by rgrinberg Member Loading…
fix(action-plugin): exclude directories from glob listings
#16262 opened Aug 30, 2026 by rgrinberg Member Loading…
fix(ctypes): sandbox generated link actions
#16248 opened Aug 29, 2026 by rgrinberg Member Loading…
fix(cram): honor --force for cached test output
#16237 opened Aug 28, 2026 by rgrinberg Member Loading…
feat(formatting): format generated diff corrections
#16209 opened Aug 25, 2026 by rgrinberg Member Loading…
fix(pkg): compare compiler packages semantically package management Dune's package management — `(pkg)` stanza, lockdirs, `dune pkg` commands
#16173 opened Aug 24, 2026 by Alizter Collaborator Draft
2 of 3 tasks
ProTip! Type g i on any issue or pull request to go back to the issue listing page.