WIP: testing new publish ci x5

ibois-epfl · Aug 23, 2024 · c0b863a · c0b863a
1 parent 62d8c37
commit c0b863a
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -26,9 +26,10 @@ jobs:
     - name: Sync version
       run: invoke syncv
 
-    - name: If exists the branch version-sync-branch, delete it
+    - name: If exists the branch remotely version-sync-branch, delete it
       run: |
-        git branch -D version-sync-branch || true
+        git fetch --prune
+        git branch -r | grep version-sync-branch && git push origin --delete version-sync-branch
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}