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.

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

Check data structure improvements #2037

Merged
merged 2 commits into from
Sep 3, 2024

Commits on Sep 3, 2024

  1. Configuration menu
    Copy the full SHA
    2171dc3 View commit details
    Browse the repository at this point in the history
  2. Remove the ONRTypeSet and create a new combined CheckDispatchSet

    This new set does all the tracking and mapping previously handled by the ONRTypeSet and a custom multimap, in a more compact and better tested implementation
    
    This also allows us to avoid requiring all results for those redispatches that do not have caveats, even if one of the subject types does
    josephschorr committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    bb10dfe View commit details
    Browse the repository at this point in the history