docs: Force update of GitHub Pages deployment

2026-08-02 17:31:39 +00:00 · 2024-12-08 13:36:53 -05:00
parent 9b3c89785e
commit 889186ec3e
1 changed files with 1 additions and 1 deletions
@@ -24,4 +24,4 @@ jobs:
          restore-keys: |
            mkdocs-material-
      - run: pip install mkdocs-material
-      - run: cd docs && mkdocs gh-deploy
+      - run: cd docs && mkdocs gh-deploy --force