Skip to content

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

Closed
benpicco wants to merge 1 commit intoRIOT-OS:masterfrom
benpicco:bors-delay
Closed

[DO NOT MERGE] Bors shunting delay 🚂🚃🚃🚃#19253
benpicco wants to merge 1 commit intoRIOT-OS:masterfrom
benpicco:bors-delay

Conversation

@benpicco
Copy link
Copy Markdown
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
Copy Markdown

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
Copy Markdown
Contributor

kaspar030 commented Feb 14, 2023

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
@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 23, 2023
@bergzand bergzand 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 Feb 24, 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 Feb 27, 2023
@bergzand bergzand 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 Feb 27, 2023
@benpicco benpicco mentioned this pull request Aug 21, 2023
Merged
@OlegHahm
Copy link
Copy Markdown
Member

OlegHahm commented Dec 13, 2023

Can be closed?

@benpicco
Copy link
Copy Markdown
Contributor Author

benpicco commented Dec 13, 2023

Yes we don't need that anymore

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