Skip to content

Release 1.3.0#18

Merged
nico-ptrs merged 39 commits into
mainfrom
release-1.3.0
May 21, 2026
Merged

Release 1.3.0#18
nico-ptrs merged 39 commits into
mainfrom
release-1.3.0

Conversation

@nico-ptrs
Copy link
Copy Markdown
Contributor

No description provided.

Jenkins and others added 30 commits April 14, 2023 10:38
…ploys-to-github-actions

feat: add GitHub Actions for hotfix and release workflows, including version bumping and publishing to NPM
@nico-ptrs nico-ptrs merged commit ed16776 into main May 21, 2026
3 checks passed
@nico-ptrs nico-ptrs deleted the release-1.3.0 branch May 21, 2026 10:53
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.

4 participants