release: v0.7.0 #30
Reference in New Issue
Block a user
Delete Branch "release/v0.7.0"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Release v0.7.0
Version bump for the v0.7.0 release. Includes all changes since v0.6.0:
After merge
Once this PR is merged, a tag
v0.7.0needs to be created and a GitHub release published with the built tarball. The automated release workflow failed due to branch protection onmain— see PRI-60 for details.Branch protection note
The reusable release workflow in
.githubpushes directly tomain, which is blocked by branch protection rules. This should be fixed to support protected branches (either by allowing GHA bot pushes, or by switching to a PR-based release flow).