chore: update publish pipeline #88

Merged
marcel.henselin merged 1 commit from chore/pipeline into main 2026-03-17 15:59:26 +00:00

View file

@ -3,7 +3,6 @@ name: Publish
run-name: Publish by @${{ github.actor }} run-name: Publish by @${{ github.actor }}
on: on:
workflow_dispatch:
push: push:
tags: tags:
- 'v0.*' - 'v0.*'