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

Inclusion pruning tweaks #1550

Merged
merged 5 commits into from
Sep 14, 2023
Merged

Inclusion pruning tweaks #1550

merged 5 commits into from
Sep 14, 2023

Commits on Sep 14, 2023

  1. pruning tests expanded

    @Overkillus
    Overkillus committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    093d73e View commit details
    Browse the repository at this point in the history

  2. dedup stale change

    @Overkillus
    Overkillus committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    c43b00b View commit details
    Browse the repository at this point in the history

  3. fmt

    @Overkillus
    Overkillus committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    bf63864 View commit details
    Browse the repository at this point in the history

  4. Fix comment formatting in github

    @tdimitrov
    tdimitrov committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    ebc05e3 View commit details
    Browse the repository at this point in the history

  5. debug assert cleaned

    @Overkillus
    Overkillus committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    23fac0c View commit details
    Browse the repository at this point in the history