Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
/dunePublic

Pull requests: ocaml/dune

Author
Filter by author
Loading
Label
Filter by label
Loading
Usealt +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
Sort

Pull requests list

WIP: improve error message
#11545 openedMar 18, 2025 bycreate2000Loading…
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…
config: enable build progress by default cliCommand line related
#11510 openedMar 3, 2025 bymaiste Draft
Avoid formatting read-only files
#11490 openedFeb 19, 2025 byJulowLoading…
Experimental portable lockdirs package management
#11489 openedFeb 19, 2025 bygridbugsLoading…
Add support for DUNE_VCS_{DESCRIBE,COMMIT_ID,FILES} configEverything related to dune configuration (workspace, project, dune, env)
#11485 openedFeb 17, 2025 byglonduLoading…
chore: bump dune version to 3.18 choreSomething that just needs to be done.
#11478 openedFeb 11, 2025 bymaiste Draft
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…
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…
@ejgallego
feat(melange): add manifest information formelange.emit melangeMelange rules and generator
#11209 openedDec 15, 2024 byanmonteiro Draft
flake: add overlay nix
#11192 openedDec 11, 2024 byasymmetricLoading…
Add "coqdoc_header" and "coqdoc_footer" fields. coq
#11131 openedNov 18, 2024 byrlepigreLoading…
3 tasks done
feature: add aliases for inline tests
#11109 openedNov 10, 2024 byAlizter Draft
2 tasks
Add reproduction test-case for #11012. coq
#11091 openedNov 4, 2024 byrlepigreLoading…
chore(nix): update flakes nix
#10968 openedSep 29, 2024 byrgrinbergLoading…
[RFC] Add support for order-only and post-use dependencies to Dune engine engineRelated to the internal Dune engine
#10943 openedSep 20, 2024 byMA0010Loading…
Previous1345
Previous
ProTip! Typegp on any issue or pull request to go back to the pull request listing page.

[8]ページ先頭

©2009-2025 Movatter.jp