Skip to content
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

Jump to bottom

Report dev/non-dev deps imported via non-dev/dev usages #18832

Closed
wants to merge 1 commit into from
Closed

Report dev/non-dev deps imported via non-dev/dev usages #18832

wants to merge 1 commit into from
+51 −8

Commits on Jul 3, 2023

  1. Report dev/non-dev deps imported via non-dev/dev usages 

    If a repository generated by a module extension corresponds to a dev tag
but is imported on non-dev usage (or vice versa), the build can fail if
the module is used by other modules. `ModuleExtensionMetadata` already
generated fixup commands for this case, but now also explains the
situation and impact.
    @fmeum
    fmeum committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    4429b8c View commit details
    Browse the repository at this point in the history