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

Delete bors.toml in favor of GitHub merge queues #1037

Merged
merged 5 commits into from
Aug 21, 2023
Merged

Delete bors.toml in favor of GitHub merge queues #1037

merged 5 commits into from
Aug 21, 2023

Commits on Aug 21, 2023

  1. Delete bors.toml in favor of GitHub merge queues

    @frewsxcv @michaelkirk
    frewsxcv authored and michaelkirk committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    ae98f5e View commit details
    Browse the repository at this point in the history

  2. Add merge_group setting as per docs

    @urschrei @michaelkirk
    urschrei authored and michaelkirk committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    fcc1430 View commit details
    Browse the repository at this point in the history

  3. Update workflow to work with GH merge queue 

    We need a ci-status job that explicitly fails, rather than skips.

As we discovered in georust/proj#179,
the previous configuration would skip the aggregate "ci status" job if
any of it's `needs` failed, which would result in the merge queue
proceeding with the merge.
    @michaelkirk
    michaelkirk committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    4bff7e1 View commit details
    Browse the repository at this point in the history

  4. Add a failing test to ensure merge queues are working as expected

    @michaelkirk
    michaelkirk committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    f593fae View commit details
    Browse the repository at this point in the history

  5. Revert "Add a failing test to ensure merge queues are working as expe… 

    …cted"

This reverts commit f593fae.
    @michaelkirk
    michaelkirk committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    b065119 View commit details
    Browse the repository at this point in the history