Bump peaceiris/actions-gh-pages from 3 to 4 (#564)

Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
moves-rwth · Jun 3, 2024 · ad99e3f · ad99e3f
1 parent 07bcd52
commit ad99e3f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml
@@ -45,7 +45,7 @@ jobs:
       - name: Copy doxygen
         run: sudo docker cp storm:/opt/storm/build/doc/html .
       - name: Deploy doxygen
-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@v4
         with:
           deploy_key: ${{ secrets.DOC_DEPLOY_KEY }}
           publish_dir: ./html