update github pages deplot

cvxgrp · Jan 9, 2022 · b628b03 · b628b03
1 parent f1b493b
commit b628b03
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -18,7 +18,7 @@ jobs:
         run: |
           cd docs/src && make docs && touch ../.nojekyll
       - name: Deploy
-        uses: JamesIves/github-pages-deploy-action@4.1.4
+        uses: JamesIves/github-pages-deploy-action@4.2.1
         with:
           branch: gh-pages # The branch the action should deploy to.
           folder: docs # The folder the action should deploy.