Skip to content

chore(release): 0.1.141-unstable.20260820205557 - #585

Merged
rubenvdlinde merged 1 commit into
developmentfrom
release/v0.1.141-unstable.20260820205557
Aug 20, 2026
Merged

chore(release): 0.1.141-unstable.20260820205557#585
rubenvdlinde merged 1 commit into
developmentfrom
release/v0.1.141-unstable.20260820205557

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Version bump for 0.1.141-unstable.20260820205557, opened by the release workflow.

The tag v0.1.141-unstable.20260820205557 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 3115b37 into development Aug 20, 2026
4 checks passed
@rubenvdlinde
rubenvdlinde deleted the release/v0.1.141-unstable.20260820205557 branch August 20, 2026 21:13
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