The Wayback Machine - https://web.archive.org/web/20220609163249/https://github.com/ocaml/dune/pulls
Skip to content

Pull requests: ocaml/dune

New pull request New
87 Open 3,748 Closed
87 Open 3,748 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

refactor(rpc): import cleanups
#5860 opened Jun 9, 2022 by rgrinberg Loading…
2
test(watch): set exclusion paths in tests
#5856 opened Jun 8, 2022 by rgrinberg Loading…
2
refactor(rules): speed up the which look ups
#5851 opened Jun 8, 2022 by rgrinberg Loading…
6
refactor: remove Lib.modules and its friends
#5850 opened Jun 8, 2022 by rgrinberg Loading…
2
bench: update deps
#5847 opened Jun 8, 2022 by rgrinberg Loading…
1
refactor ocaml_flags
#5846 opened Jun 8, 2022 by hhugo Loading…
fix: tweak flags for 3.3
#5844 opened Jun 7, 2022 by rgrinberg Loading… 3.3.0
refactor(coq): rename libraries to plugins
coq
#5841 opened Jun 7, 2022 by Alizter • Draft
1
[ctypes] Add support for cstubs codegen errno parameter
#5827 opened Jun 4, 2022 by droyo Loading…
3
test: generating in subdirs
#5825 opened Jun 3, 2022 by rgrinberg Loading…
OCaml 5.0: use the compiler META files when available
#5824 opened Jun 3, 2022 by Octachron • Draft
2
Allow list expansion in preprocessor arguments
#5820 opened Jun 3, 2022 by Firobe Loading…
1
test: generate executable sources in subdir
#5819 opened Jun 2, 2022 by rgrinberg Loading…
[ctypes] try to build ctypes foreign stubs the same way as regular foreign stubs (closes #5809)
#5816 opened Jun 2, 2022 by mbacarella Loading… 3.3.0
add sandboxing to ocamldep, lint, dialect, pp
#5807 opened Jun 1, 2022 by rgrinberg Loading…
feature(coq): support for inter-project composition of theories
coq
#5784 opened May 26, 2022 by Alizter Loading…
5 tasks done
3.3.0
@ejgallego
22
add test showing directory targets not being built by @all
#5782 opened May 26, 2022 by Alizter • Draft
Expose a bug where rule digest depends on irrelevant details of dune file
#5780 opened May 26, 2022 by snowleopard Loading…
1
Doc for Coq plugins
coq
#5778 opened May 26, 2022 by Alizter • Draft
@ejgallego
6
Add doc for coqdoc support
coq
#5777 opened May 26, 2022 by Alizter Loading…
@ejgallego
2
[coq] Preliminary test-suite update for 8.16
coq
#5776 opened May 25, 2022 by ejgallego • Draft
4
test: split private/public overlap suite
#5761 opened May 23, 2022 by rgrinberg Loading…
Small changes to sites documentation
#5748 opened May 20, 2022 by jfeser Loading…
feature(jsoo): sandbox rules
jsoo
#5731 opened May 17, 2022 by rgrinberg • Draft
4
Support ocamldep -strict
#5665 opened May 6, 2022 by emillon • Draft
8
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.