Skip to content

Fix labeler action#20137

Merged
kaspar030 merged 1 commit intoRIOT-OS:masterfrom
MrKevinWeiss:pr/fixlabler
Dec 4, 2023
Merged

Fix labeler action#20137
kaspar030 merged 1 commit intoRIOT-OS:masterfrom
MrKevinWeiss:pr/fixlabler

Conversation

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