diff --git a/.github/workflows/ci-cd.yml b/.github/workflows/ci-cd.yml index eabd91125..3804286a9 100644 --- a/.github/workflows/ci-cd.yml +++ b/.github/workflows/ci-cd.yml @@ -900,6 +900,20 @@ jobs: --skip-missing-interpreters false --notest + - name: Drop Git tags from HEAD for non-tag-create events + if: >- + !fromJSON(needs.pre-setup.outputs.release-requested) + run: >- + git tag --points-at HEAD + | + xargs git tag --delete + shell: bash + + - name: Setup git user as [bot] + if: >- + fromJSON(needs.pre-setup.outputs.release-requested) + || fromJSON(needs.pre-setup.outputs.is-untagged-devel) + uses: fregante/setup-git-user@v2 - name: >- Tag the release in the local Git repo as ${{ needs.pre-setup.outputs.git-tag }}