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/lz4: bump version to 1.9.4 #19180

Merged
merged 1 commit into from Jan 20, 2023
Merged

pkg/lz4: bump version to 1.9.4 #19180

merged 1 commit into from Jan 20, 2023

Conversation

benpicco
Copy link
Contributor

Contribution description

Minor bugfix release

Testing procedure

tests/pkg_lz4 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 aabadie January 20, 2023 13:51
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

f38f164 pkg/lz4: bump version to 1.9.4

Success Failures Total Runtime
6781 0 6782 10m:05s

Artifacts

@benpicco
Copy link
Contributor Author

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/lz4-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

@aabadie aabadie Awaiting requested review from aabadie

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.

None yet
4 participants
@benpicco @riot-ci @bergzand @MrKevinWeiss