fix .github

CursedHardware · Oct 3, 2023 · 81c06f0 · 81c06f0
1 parent 20d95db
commit 81c06f0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/deploy-pages.yaml b/.github/workflows/deploy-pages.yaml
@@ -1,6 +1,7 @@
 name: Deploy Pages
 
 on:
+  workflow_dispatch:
   push:
     branches: [main]
     paths: [doc]

diff --git a/.github/workflows/follows.yaml b/.github/workflows/follows.yaml
@@ -32,6 +32,7 @@ jobs:
       - name: Get version
         run: echo "version=v$(grep -m1 ARGYLL_VERSION_STR h/aconfig.h | cut -d '"' -f2)" >> $GITHUB_OUTPUT
         id: version
+      - run: git tag -d ${{ needs.follow-latest.outputs.version }}
       - uses: stefanzweifel/git-auto-commit-action@v4
         id: auto-commit
         with: