Skip to content

Start v0.5.0 development - #32

Merged
DaoyuanLi2816 merged 1 commit into
mainfrom
state-sync/v0.4.0-to-v0.5.0
Aug 3, 2026
Merged

Start v0.5.0 development#32
DaoyuanLi2816 merged 1 commit into
mainfrom
state-sync/v0.4.0-to-v0.5.0

Conversation

@DaoyuanLi2816

Copy link
Copy Markdown
Owner

Summary

  • record the independently verified v0.4.0 OIDC/PyPI/GitHub release identities
  • advance the development version to 0.5.0.dev0
  • keep stable documentation pinned to immutable v0.4.0 while regenerating main-branch PyPI links

Verification

  • release workflow 30777530767 completed successfully
  • PyPI and GitHub Release wheel/sdist hashes match
  • both PyPI provenance records bind release.yml, v0.4.0 and commit 838ca0b
  • clean Python 3.10 index install reports miniverl 0.4.0 and passes doctor
  • ruff, format, mypy, 90 focused packaging/version tests and Markdown links pass
  • frozen calculator JSON SHA-256 remains 53fc1d4d5b7adee09618d77ad62d4086ba56b78569832d6fc7c3bcd5c2695bbc

@DaoyuanLi2816
DaoyuanLi2816 marked this pull request as ready for review August 3, 2026 01:56
@DaoyuanLi2816
DaoyuanLi2816 merged commit 49f5984 into main Aug 3, 2026
10 checks passed
@DaoyuanLi2816
DaoyuanLi2816 deleted the state-sync/v0.4.0-to-v0.5.0 branch August 3, 2026 01:56
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