Skip to content

Issues: OCamlPro/drom

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
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

Issues list

Remove the dune warning on merlin enhancement New feature or request
#239 opened Aug 28, 2024 by Ninjapouet
Add plugin support
#235 opened Aug 2, 2024 by Ninjapouet
Get rid of version.mlt enhancement New feature or request
#234 opened Jul 26, 2024 by Ninjapouet
Add a proper log system enhancement New feature or request
#231 opened Jul 25, 2024 by Ninjapouet
Drom doesn't work on windows with opam 2.2 bug Something isn't working
#230 opened Jul 25, 2024 by Ninjapouet
Making drom self testable/sufficient enhancement New feature or request
#227 opened Jul 10, 2024 by Ninjapouet
Drom version in opam is 0.8.0, but release version is 0.9.0 question Further information is requested
#226 opened Jul 9, 2024 by Raffinate
Handle sites enhancement New feature or request
#224 opened Jul 9, 2024 by Ninjapouet
Dromatization of non-drom projects enhancement New feature or request
#210 opened Apr 29, 2023 by hra687261
Unescaped '$' in drom build --help bug Something isn't working documentation Improvements or additions to documentation
#205 opened Apr 18, 2023 by Ninjapouet
Menhir handling enhancement New feature or request
#199 opened Mar 13, 2023 by Ninjapouet
Novice user experience
#196 opened Mar 6, 2023 by xldenis
Add cram scaffolding enhancement New feature or request
#193 opened Jan 3, 2023 by Ninjapouet
watch mode
#187 opened Sep 11, 2022 by joprice
pin-depends not found in second package
#176 opened Dec 27, 2021 by joprice
order of libraries
#174 opened Dec 24, 2021 by joprice
ProTip! Updated in the last three days: updated:>2024-12-15.