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

[Merged by Bors] - Skip empty archetypes and tables when iterating over queries #4724

Closed
wants to merge 15 commits into from
Closed

[Merged by Bors] - Skip empty archetypes and tables when iterating over queries #4724

wants to merge 15 commits into from

Commits on May 11, 2022

  1. Skip empty archetypes and tables when iterating over queries

    @james7132
    james7132 committed May 11, 2022
    Configuration menu
    Copy the full SHA
    02c59eb View commit details
    Browse the repository at this point in the history

  2. Update QueryIterationCursor

    @james7132
    james7132 committed May 11, 2022
    Configuration menu
    Copy the full SHA
    43b9a65 View commit details
    Browse the repository at this point in the history

  3. Remove unnecessary continues

    @james7132
    james7132 committed May 11, 2022
    Configuration menu
    Copy the full SHA
    29da7b9 View commit details
    Browse the repository at this point in the history

  4. Fix typo

    @james7132
    james7132 committed May 11, 2022
    Configuration menu
    Copy the full SHA
    10d03b9 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2022

  1. Add benchmark

    @james7132
    james7132 committed May 12, 2022
    Configuration menu
    Copy the full SHA
    fe5859a View commit details
    Browse the repository at this point in the history

  2. Fix up erroneous benchmark

    @james7132
    james7132 committed May 12, 2022
    Configuration menu
    Copy the full SHA
    7fe7379 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2022

  1. Use wider queries

    @james7132
    james7132 committed May 14, 2022
    Configuration menu
    Copy the full SHA
    4815ff5 View commit details
    Browse the repository at this point in the history

  2. Move checks to update_archetypes

    @james7132
    james7132 committed May 14, 2022
    Configuration menu
    Copy the full SHA
    72884a9 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into skip-empty

    @james7132
    james7132 committed May 14, 2022
    Configuration menu
    Copy the full SHA
    b606f53 View commit details
    Browse the repository at this point in the history

  4. Revert "Move checks to update_archetypes" 

    This reverts commit 72884a9.
    @james7132
    james7132 committed May 14, 2022
    Configuration menu
    Copy the full SHA
    282f70e View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2022

  1. Merge branch 'main' into skip-empty

    @james7132
    james7132 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    74cf8a4 View commit details
    Browse the repository at this point in the history

  2. Revert for non-parallel cases

    @james7132
    james7132 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    37f5b97 View commit details
    Browse the repository at this point in the history

  3. Revert iter changes

    @james7132
    james7132 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    436e474 View commit details
    Browse the repository at this point in the history

  4. Undo extra spaces

    @james7132
    james7132 committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    f87f12c View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2022

  1. Merge branch 'main' into skip-empty

    @james7132
    james7132 committed Oct 19, 2022
    Configuration menu
    Copy the full SHA
    aff39c5 View commit details
    Browse the repository at this point in the history