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

.murdock: Switch to github merge queue #20054

Merged
merged 1 commit into from
Nov 8, 2023
Merged

.murdock: Switch to github merge queue #20054

merged 1 commit into from
Nov 8, 2023

Conversation

MrKevinWeiss
Copy link
Contributor

Contribution description

Test change from bors to Github Merge Queues

Testing procedure

I am too tired to think

Issues/PRs references

@github-actions github-actions bot added the Area: CI Area: Continuous Integration of RIOT components label Nov 7, 2023
@MrKevinWeiss MrKevinWeiss added 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 labels Nov 7, 2023
kaspar030
kaspar030 reviewed Nov 7, 2023
View reviewed changes
.murdock Outdated Show resolved Hide resolved
kaspar030
kaspar030 reviewed Nov 7, 2023
View reviewed changes
.murdock Outdated Show resolved Hide resolved
@MrKevinWeiss
Copy link
Contributor Author

thanks

@riot-ci
Copy link

riot-ci commented Nov 7, 2023 •
edited
Loading

Murdock results

✔️ PASSED

4b6eb91 .murdock: adapt bors to merge queue

Success Failures Total Runtime
1 0 1 52s

Artifacts

@MrKevinWeiss MrKevinWeiss 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 Nov 7, 2023
@MrKevinWeiss MrKevinWeiss force-pushed the pr/merge_groups_mirgration branch 2 times, most recently from e5cbbf8 to 6246517 Compare November 7, 2023 20:55
@MrKevinWeiss MrKevinWeiss 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 Nov 7, 2023
@MrKevinWeiss MrKevinWeiss added this pull request to the merge queue Nov 8, 2023
@MrKevinWeiss MrKevinWeiss removed this pull request from the merge queue due to a manual request Nov 8, 2023
@MrKevinWeiss MrKevinWeiss merged commit c0dbc03 into RIOT-OS:merge_groups_migration Nov 8, 2023
24 checks passed
@MrKevinWeiss MrKevinWeiss deleted the pr/merge_groups_mirgration branch November 8, 2023 08:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kaspar030 kaspar030 kaspar030 left review comments

Assignees
No one assigned
Labels
Area: CI Area: Continuous Integration of RIOT components 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
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@MrKevinWeiss @riot-ci @kaspar030