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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Unix.EOPNOTSUPP when trying
dune build --watch on windows using WSL2
windows
#5638
opened Apr 29, 2022 by
p0lunin
Dune requires a main file while there is no need
feature-request
#5637
opened Apr 28, 2022 by
rbardou
In --display=short / verbose, reprint any error-messages after completion of the build
#5605
opened Apr 21, 2022 by
ELLIOTTCABLE
[feature request] first class chmod action for dune
accepted
accepted proposals
#5597
opened Apr 20, 2022 by
Alizter
MDX File sync (code fence)path resolution only downwards in external code quote
mdx
#5596
opened Apr 19, 2022 by
K-Wgit
Share some artifacts between
dune's contexts (cross-compilation)
#5592
opened Apr 19, 2022 by
dinosaure
dune install and new git version
requires-team-discussion
This topic requires a team discussion
#5573
opened Apr 14, 2022 by
bobot
Dune should document that files cannot be marked as writeable
docs
Documentation improvements
help wanted
#5570
opened Apr 11, 2022 by
Alizter
Error: Reference to undefined global `Build_info__Build_info_data'
bug
#5566
opened Apr 9, 2022 by
mthl
dune build crashes badly with weird coq stanza
acknowledged
bug
coq
#5530
opened Mar 25, 2022 by
Alizter
Previous Next
ProTip!
Updated in the last three days: updated:>2022-05-02.