Revert "Fix/duplicate dependencies warning"#12984
Merged
Conversation
benodiwal
pushed a commit
to benodiwal/dune
that referenced
this pull request
Dec 17, 2025
This check does not respect dune's warning system. It should be worked on until it does.
davesnx
added a commit
to davesnx/dune
that referenced
this pull request
Dec 18, 2025
…without-system * 'main' of github.com:/ocaml/dune: (113 commits) fix: use warning mechanism for duplicate deps warning (ocaml#12986) Remove reliance on the log file in some cram test (ocaml#12989) Remove [set_log_file] (ocaml#12987) fix: account for workspace binaries when generating rules for `./.bin` (ocaml#12952) Revert "Fix/duplicate dependencies warning" (ocaml#12984) refactor: make Package_dependency.decode return located value refactor: use Option.iter chore: updated 2678.md fix: hint message and added CR refactor: convert check_dups to list fold fix: use ~hints parameter for hints fix: warn on all duplicate package names in dependencies chore: added entry for CHANGES.md tests: removed unncessary dune-project file tests: refactor fix: added warning for duplicate dependencies in package definitions fix: tests fix: refactor fix: misleading comment in helpers.sh fix: remove disabled test stanza for deleted tests ...
jonludlam
pushed a commit
to jonludlam/dune
that referenced
this pull request
Jan 14, 2026
This check does not respect dune's warning system. It should be worked on until it does.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This check does not respect dune's warning system. It should be worked on until it does.