Skip to content

Add publish steps (only on tag creation)#107

Merged
bvdmitri merged 1 commit intomasterfrom
github-ci-publish
Dec 30, 2025
Merged

Add publish steps (only on tag creation)#107
bvdmitri merged 1 commit intomasterfrom
github-ci-publish

Conversation

@bvdmitri
Copy link
Member

This PR adds publish steps to GitHub workflow that are only triggered by the tag creation. Additionally it checks that the version in the SBT matches the version specified in the tag

@bvdmitri bvdmitri merged commit 151c0d1 into master Dec 30, 2025
1 check passed
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.

2 participants