Merge branch 'main' of github.com:brainets/hoi

brainets · Nov 12, 2024 · d5cfffb · d5cfffb
2 parents 1daaefa + eb5ffbf
commit d5cfffb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test_doc.yml b/.github/workflows/test_doc.yml
@@ -73,7 +73,7 @@ jobs:
           touch _build/html/.nojekyll
 
       - name: Deploy Github Pages 🚀
-        uses: JamesIves/[email protected].8
+        uses: JamesIves/[email protected].9
         with:
           branch: gh-pages
           folder: docs/_build/html/