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

Sync to upstream/release/540 #635

Merged
merged 17 commits into from
Aug 11, 2022
Merged

Sync to upstream/release/540 #635

merged 17 commits into from
Aug 11, 2022

Commits on Jul 14, 2022

  1. Sync to upstream/release/536

    @zeux
    zeux committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    4bd6512 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'upstream' into merge

    @zeux
    zeux committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    c321668 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into merge

    @zeux
    zeux committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    092e701 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2022

  1. Sync to upstream/release/537

    @zeux
    zeux committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    8e8ae0a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into merge

    @zeux
    zeux committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    8f7a1c7 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'upstream' into merge

    @zeux
    zeux committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    2c0be89 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2022

  1. Sync to upstream/release/538

    @zeux
    zeux committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    3202869 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into merge

    @zeux
    zeux committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    efcaf05 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'upstream' into merge

    @zeux
    zeux committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    cdcd6fc View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2022

  1. Sync to upstream/release/539

    @zeux
    zeux committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    4a9cfd5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into merge

    @zeux
    zeux committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    33190f8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'upstream' into merge

    @zeux
    zeux committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    5522631 View commit details
    Browse the repository at this point in the history

  4. Let's try this

    @zeux
    zeux committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    6d6fd12 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2022

  1. Sync to upstream/release/540

    @zeux
    zeux committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    106b269 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into merge

    @zeux
    zeux committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    f21ba5d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'upstream' into merge

    @zeux
    zeux committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    39bcf23 View commit details
    Browse the repository at this point in the history

  4. Adjust benchmark runs to use config=profile and new file names

    @zeux
    zeux committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    f1928dd View commit details
    Browse the repository at this point in the history