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.

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

Fix labeler action #20137

Merged
merged 1 commit into from
Dec 4, 2023
Merged

Fix labeler action #20137

merged 1 commit into from
Dec 4, 2023

Conversation

MrKevinWeiss
Copy link
Contributor

Contribution description

Due to the breaking changes in the labeler github action we need to adapt our config. I will also set the major version since deprecation messages would seem preferable to failing actions.

Testing procedure

Labeler action passes now

Issues/PRs references

Example of the issue

@MrKevinWeiss
Copy link
Contributor Author

Hmmm it seems like it is still running @main even though I specify @v4... Maybe we have a chicken and egg problem so common with GH actions.

@maribu maribu enabled auto-merge December 4, 2023 19:19
@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 Dec 4, 2023
auto-merge was automatically disabled December 4, 2023 19:45

Merge queue setting changed

@kaspar030 kaspar030 merged commit 848f3d1 into RIOT-OS:master Dec 4, 2023
25 of 27 checks passed
@MrKevinWeiss MrKevinWeiss added this to the Release 2024.01 milestone Feb 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants