[CI]: Ignore tempfiles when pushing the wiki (#1063)

ci-fix: ignore temporary md files for the wiki
flowr-analysis · Oct 11, 2024 · 39dcf5d · 39dcf5d
1 parent fbec650
commit 39dcf5d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/broken-links-and-wiki.yaml b/.github/workflows/broken-links-and-wiki.yaml
@@ -105,8 +105,11 @@ jobs:
         if: ${{ (github.event_name == 'workflow_dispatch' || (github.event_name == 'push' && github.ref == 'refs/heads/main')) && !failure() }}
         with:
           path: "wiki/"
+          strategy: 'init'
           token: ${{ secrets.GH_DEPLOY_WIKI }}
-          ignore: ''
+          ignore: |
+            **/*.md.tmp
+            **/*-Old.*
 
       - name: "🔎 Check the README for broken links"
         uses: becheran/[email protected]