Delete existing release asset before releasing

Use mknejp/delete-release-assets to delete existing asset.
This approach might not be optimal if softprops/action-gh-release
supports upserting [1].

[1] https://github.com/softprops/action-gh-release/pull/134

diff --git a/.github/workflows/generate_pdf.yml b/.github/workflows/generate_pdf.yml
index 94250dcda902cb8c73ecae25ac5d3da9ea14e8d0..90c2ebd0447656204a16d61db3091db664ce8c74 100644 (file)
--- a/.github/workflows/generate_pdf.yml
+++ b/.github/workflows/generate_pdf.yml
@@ -15,6 +15,13 @@ jobs:
       - uses: actions/checkout@v2
       - name: Build
         run: make all
+      - name: Delete old release asset
+        uses: mknejp/delete-release-assets@v1
+        with:
+          token: ${{ github.token }}
+          fail-if-no-assets: false
+          tag: latest
+          assets: lkmpg.pdf
       - name: Release
         uses: softprops/action-gh-release@v1
         with: