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 }}
on:
workflow_dispatch:
push:
tags:
- 'v0.*'