Skip to content

chore(release): 1.4.7-unstable.20260831193354 - #345

Merged
rubenvdlinde merged 1 commit into
developmentfrom
release/v1.4.7-unstable.20260831193354
Aug 31, 2026
Merged

chore(release): 1.4.7-unstable.20260831193354#345
rubenvdlinde merged 1 commit into
developmentfrom
release/v1.4.7-unstable.20260831193354

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Version bump for 1.4.7-unstable.20260831193354, opened by the release workflow.

The tag v1.4.7-unstable.20260831193354 already names this commit, so the released
package and its label agree. Merging this brings development up
to the released version.

Raised as a pull request rather than pushed directly because
development requires one; a direct push is rejected with GH013
and takes the release down with it.

@rubenvdlinde
rubenvdlinde merged commit bad489b into development Aug 31, 2026
@rubenvdlinde
rubenvdlinde deleted the release/v1.4.7-unstable.20260831193354 branch August 31, 2026 20:14
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