Skip to content

Merge release/1.3.0 into main#28

Closed
github-actions[bot] wants to merge 10 commits intomainfrom
release/1.3.0
Closed

Merge release/1.3.0 into main#28
github-actions[bot] wants to merge 10 commits intomainfrom
release/1.3.0

Conversation

@github-actions
Copy link

Created by a GitHub Action → Prepare a release by a pull request

@github-actions github-actions bot added the release Used to mark the pull request to be merged into main label Jun 12, 2025
@pmkirsten pmkirsten closed this Jun 12, 2025
@pmkirsten pmkirsten deleted the release/1.3.0 branch June 12, 2025 13:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Used to mark the pull request to be merged into main

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants