8000 chore: advance development after v0.10.1 by DaoyuanLi2816 · Pull Request #87 · DaoyuanLi2816/mini-verl · GitHub
[go: up one dir, main page]
Skip to content

chore: advance development after v0.10.1 - #87

Merged
DaoyuanLi2816 merged 1 commit into
mainfrom
chore/advance-after-v0.10.1
Aug 16, 2026
Merged

chore: advance development after v0.10.1#87
DaoyuanLi2816 merged 1 commit into
mainfrom
chore/advance-after-v0.10.1

Conversation

@DaoyuanLi2816
@DaoyuanLi2816 DaoyuanLi2816 commented Aug 16, 2026
Copy link
Copy Markdown
Owner

Summary:

  • records the completed v0.10.1 release commit, qualification, dry-run, publication, hashes, and public links
  • advances main to 0.10.2.dev0 while keeping v0.10.1 as the stable docs and citation line
  • regenerates the PyPI long description and documentation version selector

Validation:

  • 192 targeted release/state/packaging tests passed; 1 Windows privilege skip
  • 2362 non-GPU/non-network tests passed; 8 skipped, 22 deselected; 83.58% branch coverage
  • Ruff, format, mypy, actionlint, release state, links, text integrity, known-good and schema checks passed
  • MkDocs strict and 44 rendered SVG instances across four viewports passed
  • package build and twine checks passed
  • frozen calculator SHA-256 remains 53fc1d4d5b7adee09618d77ad62d4086ba56b78569832d6fc7c3bcd5c2695bbc

@DaoyuanLi2816
DaoyuanLi2816 merged commit 21f8738 into main Aug 16, 2026
16 checks passed
@DaoyuanLi2816
DaoyuanLi2816 deleted the chore/advance-after-v0.10.1 branch August 16, 2026 08:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@DaoyuanLi2816
0