Skip to content

Pull requests: ocaml/dune

New pull request New
114 Open 8,416 Closed
114 Open 8,416 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

Add .messages support for Menhir menhir Related to the internal menhir plugin
#11753 opened May 4, 2025 by nojb Loading…
1
4
Generate "_CoqProject" files for Coq theories
#11752 opened May 4, 2025 by rlepigre Loading…
Switch to BLAKE3
#11735 opened May 1, 2025 by rgrinberg Loading…
pkg: don't depend on dune_digest package management
#11723 opened Apr 30, 2025 by Alizter Loading…
21
feature: vendor blake3 mini
#11720 opened Apr 30, 2025 by rgrinberg Loading…
4
chore: bump dune to 3.19
#11717 opened Apr 30, 2025 by rgrinberg Loading…
2
Add a "doc_depends" field to the package stanza
#11716 opened Apr 30, 2025 by panglesd Loading…
1
Allow concurrent build with RPC server
#11712 opened Apr 30, 2025 by gridbugs Loading…
22
Named targets feature
#11653 opened Apr 24, 2025 by create2000 • Draft
2 tasks done
1
simplify implementation of dune exec further
#11641 opened Apr 22, 2025 by Alizter Loading…
1 task
1
chore: comply with LGPL-2 chore Something that just needs to be done.
#11632 opened Apr 17, 2025 by maiste Loading…
1
pkg: allow arbitrary opam repo layouts
#11616 opened Apr 8, 2025 by gridbugs Loading…
1
28
Toolchain cache: use DUNE_CACHE_ROOT instead of XDG_CACHE_HOME bug package management
#11612 opened Apr 7, 2025 by ElectreAAS Loading…
1
4
feat: Synopsis to rule stanza, display synopses in dune show
#11609 opened Apr 5, 2025 by maxim092001 Loading…
1
44
chore: remove Pp.newline
#11607 opened Apr 4, 2025 by Alizter • Draft
feat(dune_lang): multiline strings
#11581 opened Mar 30, 2025 by Alizter • Draft
2
feat:Buildable stanza keywords help wanted rule Internal dune rules
#11578 opened Mar 28, 2025 by wmuth Loading…
9
pkg: Display error message when no dependencies exist in dune-project
#11573 opened Mar 26, 2025 by Leonidas-from-XIV Loading…
11
feature: tests stanzas produce aliases
#11558 opened Mar 23, 2025 by Alizter Loading…
3 tasks done
6
feature: empty alias
#11556 opened Mar 22, 2025 by Alizter • Draft
1 task
3
config: enable build progress by default cli Command line related
#11510 opened Mar 3, 2025 by maiste • Draft
3
Avoid formatting read-only files
#11490 opened Feb 19, 2025 by Julow Loading…
8
Experimental portable lockdirs package management
#11489 opened Feb 19, 2025 by gridbugs Loading…
44
Add support for DUNE_VCS_{DESCRIBE,COMMIT_ID,FILES} config Everything related to dune configuration (workspace, project, dune, env)
#11485 opened Feb 17, 2025 by glondu Loading…
1
test(ctypes): showcase deps field not supporting the full dependency specification config Everything related to dune configuration (workspace, project, dune, env) test Dune handling test
#11443 opened Feb 5, 2025 by Khady Loading…
4
ProTip! Updated in the last three days: updated:>2025-05-02.