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

gh-actions: check-labels: move to upstream fix #19160

Merged
merged 1 commit into from
Jan 17, 2023
Merged

gh-actions: check-labels: move to upstream fix #19160

merged 1 commit into from
Jan 17, 2023

Conversation

miri64
Copy link
Member

@miri64 miri64 commented Jan 17, 2023

Contribution description

Fixes the current issue of the check-label action.

Testing procedure

See miri64#39

Issues/PRs references

Follow-up on #19101

@miri64 miri64 requested a review from kaspar030 January 17, 2023 10:52
@miri64 miri64 added Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) 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 Jan 17, 2023
@github-actions github-actions bot added the Area: CI Area: Continuous Integration of RIOT components label Jan 17, 2023
kaspar030
kaspar030 approved these changes Jan 17, 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 Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) and removed Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) labels Jan 17, 2023
@kaspar030
Copy link
Contributor

bors merge

@bors
Copy link
Contributor

bors bot commented Jan 17, 2023

🕐 Waiting for PR status (GitHub check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.

@miri64 miri64 mentioned this pull request Jan 17, 2023
Merged
@miri64
Copy link
Member Author

miri64 commented Jan 17, 2023

Reactivation of bors check can be found in #19161

@benpicco benpicco added the CI: high priority If set, builds of this PR will be queued before others label Jan 17, 2023
@bors
Copy link
Contributor

bors bot commented Jan 17, 2023

GitHub status checks took too long to complete, so bors is giving up. You can adjust bors configuration to have it wait longer if you like.

@miri64
Copy link
Member Author

miri64 commented Jan 17, 2023

bors merge ...

@bors
Copy link
Contributor

bors bot commented Jan 17, 2023

🕐 Waiting for PR status (GitHub check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.

@riot-ci
Copy link

riot-ci commented Jan 17, 2023

Murdock results

✔️ PASSED

40fb7fe gh-actions: check-labels: move to upstream fix

Success Failures Total Runtime
1 0 1 01m:02s

Artifacts

@aabadie
Copy link
Contributor

aabadie commented Jan 17, 2023

bors merge

@bors
Copy link
Contributor

bors bot commented Jan 17, 2023

Build succeeded:

@bors bors bot merged commit a944789 into RIOT-OS:master Jan 17, 2023
@miri64 miri64 deleted the gh-actions/fix/check-labels-upstream branch January 17, 2023 17:50
@jia200x jia200x added this to the Release 2023.04 milestone Apr 25, 2023
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: high priority If set, builds of this PR will be queued before 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 Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors)
Projects
None yet
Milestone
Release 2023.04
Development

Successfully merging this pull request may close these issues.
6 participants
@miri64 @kaspar030 @riot-ci @aabadie @jia200x @benpicco