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

Limit --exclude to workspace packages #2808

Merged
merged 2 commits into from
Oct 5, 2023
Merged

Limit --exclude to workspace packages #2808

merged 2 commits into from
Oct 5, 2023

Commits on Oct 5, 2023

  1. Limit --exclude to workspace packages 

    Previously, --exclude would start from the set of all packages
referenced in a workspace, i.e., the workspace's packages plus any
dependencies. Without --exclude, we would at most look at all the
workspace's packages, so --exclude would result in possibly verifying a
larger set of packages.
    @tautschnig
    tautschnig committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    309c2e6 View commit details
    Browse the repository at this point in the history

  2. Assert workspace

    @tautschnig
    tautschnig committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    11a0470 View commit details
    Browse the repository at this point in the history