Delete old release and retag latest commit

This ensures the latest commit message and timestamp can be correctly
included in the release.

diff --git a/.github/workflows/build-deploy-assets.yaml b/.github/workflows/build-deploy-assets.yaml
index ee27b143de21164af81fba2e7afd04b27f389226..789d19c5798a2c6d73ffcb0e3c9a6ebe336ddb8b 100644 (file)
--- a/.github/workflows/build-deploy-assets.yaml
+++ b/.github/workflows/build-deploy-assets.yaml
@@ -18,6 +18,14 @@ jobs:
           make all
           make html
           tar zcvf lkmpg-html.tar.gz ./html
+      - name: Delete old release
+        uses: cb80/delrel@latest
+        with:
+          tag: latest
+      - name: Tag
+        run: |
+          git tag latest
+          git push -f --tags
       - name: Release
         uses: softprops/action-gh-release@v0.1.15
         with: