Skip to content

chore: release 0.12.2 - #58

Merged
trick77 merged 1 commit into
masterfrom
chore/release-0.12.2
Jul 28, 2026
Merged

chore: release 0.12.2#58
trick77 merged 1 commit into
masterfrom
chore/release-0.12.2

Conversation

@trick77

@trick77 trick77 commented Jul 28, 2026

Copy link
Copy Markdown
Owner

Bump to 0.12.2.

Package contents are identical to 0.12.1 — this rolls forward so the tag matches the tarball it produced. The v0.12.1 tag had to be recreated after a duplicate release run deleted it, and ended up pointing at a different commit than the one 0.12.1 was published from. Re-pushing a released tag is not a repair; cutting the next version is.

Also carries the release-workflow fix from #57 (duplicate run no longer deletes the tag).

Tests: 101 pass.

@trick77
trick77 merged commit 19564ba into master Jul 28, 2026
3 checks passed
@trick77
trick77 deleted the chore/release-0.12.2 branch July 28, 2026 20:02
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