Skip to content

bump version to 3.1.0 - #311

Merged
ofloveandhate merged 1 commit into
developfrom
release/3.1.0
Jul 9, 2026
Merged

bump version to 3.1.0#311
ofloveandhate merged 1 commit into
developfrom
release/3.1.0

Conversation

@ofloveandhate

Copy link
Copy Markdown
Contributor

Promote the release candidate to the final 3.1.0: VERSION 3.1.0rc13.1.0.

Once merged, tag v3.1.0 on the develop tip. That routes through publish.yml's final-release path
(is_prerelease=false): real PyPI publish, Sigstore-signed GitHub Release (notes from the
now-current [3.1.0] CHANGELOG block, #310), and versioned docs deploy — plus the extra
check_timing_freshness gate that only final releases run.

VERSION is in the workflows' paths-ignore, so this PR runs no CI and needs no approvals.

@ofloveandhate
ofloveandhate merged commit b423579 into develop Jul 9, 2026
1 check passed
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