Merge pull request #163 from open-quantum-safe/dependabot/github_actions/crazy-max/ghaction-github-pages-3.1.0

Bump crazy-max/ghaction-github-pages from 3.0.0 to 3.1.0

Author: thomwiggers

.github/workflows/docs.yml

@@ -34,7 +34,7 @@ jobs:
 
       - name: Deploy documentation
         if: success()
-        uses: crazy-max/ghaction-github-pages@v3.0.0
+        uses: crazy-max/ghaction-github-pages@v3.1.0
         with:
           build_dir: target/doc
           target_branch: gh-pages