Skip to content

Issues: ocaml/dune

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

873 Open 2,144 Closed
873 Open 2,144 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

dune dependency error with dune pkg lock bug package management
#11096 opened Nov 4, 2024 by maiste
Child process of dune exec -w is not terminated on signal
#11089 opened Nov 3, 2024 by MoritzHamann
dune should give priority to libraries in OPAM_SWITCH_PREFIX instead of ocamlc -where bug
#11062 opened Oct 31, 2024 by kit-ty-kate
Have Dune warn us of unnecessary library dependencies feature-request
#11061 opened Oct 31, 2024 by nojb
1
A flag to dune runtest to exit after first test failure
#11060 opened Oct 30, 2024 by WardBrian
dune crashes on dune pkg lock bug package management
#11058 opened Oct 30, 2024 by maxRN
@rgrinberg
8
Regression in #11028 when using dune subst on a project with an opam file
#11045 opened Oct 28, 2024 by btjorge
Using (enabled_if %{read:...}) docs Documentation improvements
#11042 opened Oct 25, 2024 by reynir
3
dune fmt requires ocamlc to be in path but does not guarantee that this is the case package management
#11038 opened Oct 22, 2024 by gridbugs
9
dune fmt and dune build @fmt build all the project's dependencies when a lockdir is present package management
#11037 opened Oct 22, 2024 by gridbugs
Coqdoc flags --with-header and --with-footer should imply a dependency on the argument files coq
#11017 opened Oct 17, 2024 by rlepigre
Coq documentation generation fails with Coq in the workspace coq
#11016 opened Oct 17, 2024 by rlepigre
coq.extraction + coq.theory raises internal errors coq
#11014 opened Oct 15, 2024 by jmadiot
2
Command to list available build targets feature-request
#11013 opened Oct 15, 2024 by ElectreAAS
Coq cannot find the cmxs file for transitive ocaml dependencies coq
#11012 opened Oct 15, 2024 by rlepigre
4
Dune crashes when editing a file in exec watch mode bug
#11010 opened Oct 13, 2024 by LAC-Tech
6
How to test Coq libraries? coq
#11006 opened Oct 9, 2024 by liyishuai
Cache more things in package management use-cases package management
#11003 opened Oct 8, 2024 by ElectreAAS
2
opam file generation could be made less error-prone enhancement
#11002 opened Oct 8, 2024 by samoht
pkg: a command line that installs all the dev-tools at once. feature-request package management
#11001 opened Oct 7, 2024 by moyodiallo
1
dune developer preview: automatic depext handling? feature-request package management
#11000 opened Oct 7, 2024 by edwintorok
7
describe pp crashes with "Lib.DB.get_compile_info got library that doesn't exist" bug
#10999 opened Oct 7, 2024 by sim642
1
dune cache trim --since <time interval> for CI workflows feature-request shared-cache Shared artefacts cache
#10992 opened Oct 4, 2024 by nojb
2
dune build -x accepts only one toolchain while dune-workspace accepts many feature-request
#10989 opened Oct 3, 2024 by jonahbeckford
1
pkg: inscrutable error when depending on a non-existent package package management
#10987 opened Oct 3, 2024 by v-gb
1
1
ProTip! Find all open issues with in progress development work with linked:pr.