Skip to content

👷 ci: add post-release action (fix)#15

Merged
jfbus merged 1 commit into
mainfrom
postrelease
Jul 7, 2026
Merged

👷 ci: add post-release action (fix)#15
jfbus merged 1 commit into
mainfrom
postrelease

Conversation

@jfbus

@jfbus jfbus commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@jfbus jfbus marked this pull request as ready for review July 7, 2026 09:55
@github-actions

github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown

🔖 auto-tagging: Adding label "skip-changelog"

@jfbus jfbus merged commit 7c47616 into main Jul 7, 2026
3 checks passed
@jfbus jfbus deleted the postrelease branch July 7, 2026 11:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants