move latest-dev tag

This commit is contained in:
Robin C. Ladiges 2022-08-13 22:01:38 +02:00
parent 2898a762d4
commit 81a0726836
No known key found for this signature in database
GPG key ID: B494D3DF92661B99

View file

@ -60,3 +60,18 @@ jobs:
filename : ${{ needs.build.outputs.filename }} filename : ${{ needs.build.outputs.filename }}
upload_url : ${{ steps.release.outputs.upload_url }} upload_url : ${{ steps.release.outputs.upload_url }}
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
move:
needs: attach
runs-on: ubuntu-latest
steps:
-
name : Checkout
uses : actions/checkout@v3
-
name : Move ${{ env.TAG }} tag
shell : bash
run: |
git config user.email "${{ github.actor }}@users.noreply.github.com"
git tag -f ${{ env.TAG }}
git push --force origin ${{ env.TAG }}