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

pkg/nanopb: bump version to 0.4.7 #19179

Merged
merged 1 commit into from
Jan 20, 2023
Merged

pkg/nanopb: bump version to 0.4.7 #19179

merged 1 commit into from
Jan 20, 2023

Conversation

benpicco
Copy link
Contributor

Contribution description

Minor bugfix release

Testing procedure

tests/pkg_nanopb still works

Issues/PRs references

@benpicco benpicco added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Jan 20, 2023
@github-actions github-actions bot added the Area: pkg Area: External package ports label Jan 20, 2023
@benpicco benpicco requested a review from kaspar030 January 20, 2023 13:38
bergzand
bergzand approved these changes Jan 20, 2023
View reviewed changes
Copy link
Member

@bergzand bergzand left a comment

Choose a reason for hiding this comment

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

bors merge

@bors
Copy link
Contributor

bors bot commented Jan 20, 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 20, 2023

Murdock results

✔️ PASSED

1841317 pkg/nanopb: bump version to 0.4.7

Success Failures Total Runtime
6782 0 6782 10m:22s

Artifacts

bors bot added a commit that referenced this pull request Jan 20, 2023
@bors @benpicco
Merge #19179
790bc78 
19179: pkg/nanopb: bump version to 0.4.7 r=bergzand a=benpicco



Co-authored-by: Benjamin Valentin <benjamin.valentin@ml-pa.com>
@benpicco
Copy link
Contributor Author

bors cancel

let's build a merge train 🚄

@bors
Copy link
Contributor

bors bot commented Jan 20, 2023

Canceled.

@benpicco
Copy link
Contributor Author

hm that didn't work 😕

bors merge

@bors
Copy link
Contributor

bors bot commented Jan 20, 2023

Build succeeded:

@bors bors bot merged commit 90c2d40 into RIOT-OS:master Jan 20, 2023
@benpicco benpicco deleted the pkg/nanopb-bump branch January 21, 2023 01:54
@MrKevinWeiss MrKevinWeiss 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

@bergzand bergzand bergzand approved these changes

@kaspar030 kaspar030 Awaiting requested review from kaspar030

Assignees
No one assigned
Labels
Area: pkg Area: External package ports CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR
Projects
None yet
Milestone
Release 2023.04
Development

Successfully merging this pull request may close these issues.
4 participants
@benpicco @riot-ci @bergzand @MrKevinWeiss