- Notifications
You must be signed in to change notification settings - Fork420
Pull requests: ocaml/dune
Author
Label
Projects
Milestones
Reviews
Assignee
Assigned to nobodyLoading
Sort
Pull requests list
Cache: only store executable permission bit shared-cacheShared artefacts cache
#11541 openedMar 17, 2025 byElectreAASLoading…
Add the warning flag to the C/C++ compiler invocation c-bindingsWhen dune is trying to interop with C
#11535 openedMar 14, 2025 byMisterDALoading…
Add support for DUNE_VCS_{DESCRIBE,COMMIT_ID,FILES} configEverything related to dune configuration (workspace, project, dune, env)
#11485 openedFeb 17, 2025 byglonduLoading…
test(ctypes): showcase deps field not supporting the full dependency specification configEverything related to dune configuration (workspace, project, dune, env) testDune handling test
#11443 openedFeb 5, 2025 byKhadyLoading…
feat: introduce env_vars alias for env-vars configEverything related to dune configuration (workspace, project, dune, env)
#11442 openedFeb 4, 2025 bymaisteLoading…
Windows: retry a file remove - a virus checker might lock files windows
#11437 openedFeb 3, 2025 byMSoegtropIMCLoading…
Add dune tools env to configure PATH cliCommand line related
#11408 openedJan 29, 2025 byart-wLoading…
Fix cram tests build-path-prefix-map substitutions bug cramRelated to the cram test execution in Dune
#11366 openedJan 21, 2025 byart-wLoading…
chore: add x-maintenance-intent to dune opam files choreSomething that just needs to be done.
#11275 openedJan 7, 2025 byart-wLoading…
[Reference manual/Coq] Fix label for VERNAC EXTEND coq docsDocumentation improvements
#11235 openedDec 20, 2024 byjajimajpLoading…
feat(melange): add manifest information forMelange rules and generator
melange.emit melange #11209 openedDec 15, 2024 byanmonteiro • Draft
Add "coqdoc_header" and "coqdoc_footer" fields. coq
#11131 openedNov 18, 2024 byrlepigreLoading…
3 tasks done
test: Sibling modules should be accessible from qualified parsers
#11118 openedNov 13, 2024 bybrendanzabLoading…
[RFC] Add support for order-only and post-use dependencies to Dune engine engineRelated to the internal Dune engine
#10943 openedSep 20, 2024 byMA0010Loading…
ProTip! Typegp on any issue or pull request to go back to the pull request listing page.