Skip to content

v0.47.1

v0.47.1 #2

name: Publish GitHub release
on:
push:
tags:
- v*
jobs:
Publish:
permissions:
contents: write
if: startsWith(github.ref, 'refs/tags/v')
uses: cubing/actions-workflows/.github/workflows/publish-github-release.yaml@main