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

ci: migrate to github merge queues #20063

Merged
merged 5 commits into from
Nov 9, 2023
Merged

ci: migrate to github merge queues #20063

merged 5 commits into from
Nov 9, 2023

Conversation

MrKevinWeiss
Copy link
Contributor

@MrKevinWeiss MrKevinWeiss commented Nov 8, 2023 •
edited by kaspar030
Loading

Contribution description

These are changes required to switch merging from bors to Merge Queues.

Testing procedure

Ideally required tests pass and we can enter it into a merge queue.

Issues/PRs references

Tracking issue: #20051

@github-actions github-actions bot added the Area: CI Area: Continuous Integration of RIOT components label Nov 8, 2023
@kaspar030 kaspar030 changed the title Merge groups migration ci: migrate to github merge groups Nov 8, 2023
@MrKevinWeiss MrKevinWeiss added CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Nov 8, 2023
@kaspar030 kaspar030 mentioned this pull request Nov 8, 2023
Open
10 tasks
@riot-ci
Copy link

riot-ci commented Nov 8, 2023 •
edited
Loading

Murdock results

✔️ PASSED

282c77c .murdock: clarify is_merge_queue_build() help text

Success Failures Total Runtime
7953 0 7953 10m:29s

Artifacts

@MrKevinWeiss
Copy link
Contributor Author

I am guessing I need an ack? maybe we try merging without one

@kaspar030
Copy link
Contributor

I am guessing I need an ack? maybe we try merging without one

now you should need an ACK.

kaspar030
kaspar030 previously approved these changes Nov 8, 2023
View reviewed changes
Copy link
Contributor

@kaspar030 kaspar030 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ACK.

@kaspar030 kaspar030 added this pull request to the merge queue Nov 8, 2023
@kaspar030 kaspar030 removed this pull request from the merge queue due to the queue being cleared Nov 8, 2023
@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: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Nov 8, 2023
@MrKevinWeiss MrKevinWeiss dismissed kaspar030’s stale review November 9, 2023 08:24

testing dismiss, also I don't think it is ready yet

@kaspar030 kaspar030 mentioned this pull request Nov 9, 2023
Closed
kaspar030
kaspar030 approved these changes Nov 9, 2023
View reviewed changes
Copy link
Contributor

@kaspar030 kaspar030 left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ACK.

@kaspar030 kaspar030 enabled auto-merge November 9, 2023 12:38
@kaspar030 kaspar030 force-pushed the merge_groups_migration branch from a45fb95 to 65a157e Compare November 9, 2023 12:42
@kaspar030 kaspar030 added this pull request to the merge queue Nov 9, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 9, 2023
@kaspar030 kaspar030 force-pushed the merge_groups_migration branch from 65a157e to 282c77c Compare November 9, 2023 12:54
@kaspar030 kaspar030 changed the title ci: migrate to github merge groups ci: migrate to github merge queues Nov 9, 2023
@kaspar030 kaspar030 added this pull request to the merge queue Nov 9, 2023
Merged via the queue into master with commit 7c57db8 Nov 9, 2023
24 checks passed
@MrKevinWeiss MrKevinWeiss mentioned this pull request Nov 13, 2023
Merged
@MrKevinWeiss MrKevinWeiss deleted the merge_groups_migration branch November 13, 2023 11:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kaspar030 kaspar030 kaspar030 approved these changes

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
Projects
None yet
Milestone
No milestone
Development

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