Update docc

jihoonme · Oct 30, 2023 · 4bf210d · 4bf210d
1 parent 68b5b75
commit 4bf210d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docc.yml b/.github/workflows/docc.yml
@@ -67,7 +67,7 @@ jobs:
         run: 'sudo chown -R $USER docs-out'
 
       - name: Publish documentation to GitHub Pages
-        uses: JamesIves/github-pages-deploy-action@v4
+        uses: JamesIves/github-pages-deploy-action@4.1.7
         with:
           branch: gh-pages
           folder: docs-out