Skip to content

chore: release v0.4.1 - #2

Merged
HellButcher merged 1 commit into
mainfrom
release-plz-2026-10-05T16-06-29Z
Oct 5, 2026
Merged

HellButcher merged 1 commit into
mainfrom
release-plz-2026-10-05T16-06-29Z

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 5, 2026 •

Copy link
Copy Markdown
Contributor

🤖 New release

  • tinybox: 0.4.0 -> 0.4.1 (✓ API compatible changes)
Changelog

0.4.1 - 2026-10-05

Fixed

  • make test with miri green, even without unstable feature

Other

  • also test miri without unstable feature
  • add miri test


This PR was generated with release-plz.

@github-actions
github-actions Bot force-pushed the release-plz-2026-10-05T16-06-29Z branch from dfbd050 to 97f32b9 Compare October 5, 2026 16:31
@HellButcher
HellButcher merged commit 6822895 into main Oct 5, 2026
6 checks passed
@HellButcher
HellButcher deleted the release-plz-2026-10-05T16-06-29Z branch October 5, 2026 16:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant