Oops, checkout already skips tag creation...

This commit is contained in:
griffi-gh 2023-05-19 03:51:32 +02:00
parent 7b438de4f1
commit 0edcc475ea

View file

@ -59,9 +59,9 @@ jobs:
- name: Delete existing tag - name: Delete existing tag
continue-on-error: true continue-on-error: true
run: | run: |
git tag -d nightly;
git push --delete origin refs/tags/nightly; git push --delete origin refs/tags/nightly;
- name: Create nightly tag - name: Create nightly tag
continue-on-error: true
run: | run: |
git tag nightly; git tag nightly;
git push origin nightly; git push origin nightly;