make sure that the release is deleted before redoing

should probably do better with tags, but for now delete and redo
ivoa · May 17, 2024 · 31ed6ec · 31ed6ec
1 parent e94cbac
commit 31ed6ec
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/std.yml b/.github/workflows/std.yml
@@ -29,6 +29,5 @@ jobs:
            GITHUB_TOKEN: ${{ github.TOKEN }}
            shell: bash
          run: |
-# should probably do better with tags, but for now delete and redo
            gh release delete WD-1.1  --cleanup-tag -y
            gh release -n "latest working draft" create WD-1.1 doc/std/VO-DML.pdf