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

[DO NOT MERGE] Bors shunting delay 🚂🚃🚃🚃 #19253

Closed
wants to merge 1 commit into from
Closed

[DO NOT MERGE] Bors shunting delay 🚂🚃🚃🚃 #19253

wants to merge 1 commit into from

Conversation

benpicco
Copy link
Contributor

@benpicco benpicco commented Feb 6, 2023 •
edited
Loading

Contribution description

choo choo

This is a dummy PR that can be queued to keep bors busy while shunting multiple PRs into one merge train.

When you set this PR to "CI: ready to build" you have ~1 Minute to write bors merge to all the PRs you want to include in a merge train.

@benpicco benpicco added Area: CI Area: Continuous Integration of RIOT components CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs labels Feb 6, 2023
@github-actions github-actions bot removed the Area: CI Area: Continuous Integration of RIOT components label Feb 6, 2023
@benpicco benpicco added CI: low priority If set, builds of this PR will be queued behind others Area: CI Area: Continuous Integration of RIOT components labels Feb 6, 2023
@benpicco benpicco changed the title [DO NOT MERGE] Bors shunting delay [DO NOT MERGE] Bors shunting delay 🚂🚋🚋🚋 Feb 10, 2023
@benpicco benpicco added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Feb 13, 2023
@riot-ci
Copy link

riot-ci commented Feb 13, 2023 •
edited
Loading

Murdock results

✔️ PASSED

16eba40 [DO NOT MERGE] bors delay

Artifacts

@benpicco benpicco removed the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Feb 14, 2023
@kaspar030
Copy link
Contributor

bors p=1

@benpicco benpicco added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Feb 14, 2023
@bergzand bergzand changed the title [DO NOT MERGE] Bors shunting delay 🚂🚋🚋🚋 [DO NOT MERGE] Bors shunting delay 🚂🚃🚃🚃 Feb 14, 2023
@benpicco benpicco added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: high priority If set, builds of this PR will be queued before others CI: low priority If set, builds of this PR will be queued behind others State: invalid State: The issue / PR is not valid and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: low priority If set, builds of this PR will be queued behind others CI: high priority If set, builds of this PR will be queued before others labels Feb 14, 2023
@maribu maribu added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Feb 21, 2023
@maribu maribu added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Jul 4, 2023
@benpicco benpicco added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Jul 4, 2023
@maribu maribu added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Jul 4, 2023
@benpicco benpicco added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Jul 5, 2023
@benpicco benpicco added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Aug 7, 2023
@benpicco benpicco added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Aug 21, 2023
@benpicco benpicco mentioned this pull request Aug 21, 2023
Merged
@benpicco benpicco added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Aug 23, 2023
@benpicco benpicco added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Sep 17, 2023
@miri64 miri64 added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Sep 19, 2023
@benpicco benpicco added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR and removed CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Oct 27, 2023
@OlegHahm
Copy link
Member

Can be closed?

@benpicco
Copy link
Contributor Author

Yes we don't need that anymore

@benpicco benpicco closed this Dec 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@riot-ci riot-ci

Labels
Area: CI Area: Continuous Integration of RIOT components CI: low priority If set, builds of this PR will be queued behind others CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs State: invalid State: The issue / PR is not valid
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
8 participants
@benpicco @riot-ci @kaspar030 @OlegHahm @miri64 @aabadie @maribu @bergzand