Fix CI

.github/workflows/_docs.yml

@@ -35,18 +35,18 @@ jobs:
           name: docs
           path: build
 
-      - name: Add other static pages files
-        run: cp .github/pages/* build
-
-      - name: Write switcher.json
-        run: python .github/pages/make_switcher.py --add $DOCS_VERSION ${{ github.repository }} build/switcher.json
-
-      - name: Publish Docs to gh-pages
-        if: github.event_name == 'push' && github.actor != 'dependabot[bot]'
-        # We pin to the SHA, not the tag, for security reasons.
-        # https://docs.github.com/en/actions/learn-github-actions/security-hardening-for-github-actions#using-third-party-actions
-        uses: peaceiris/actions-gh-pages@bd8c6b06eba6b3d25d72b7a1767993c0aeee42e7 # v3.9.2
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: build
-          keep_files: true
+      # - name: Add other static pages files
+      #   run: cp .github/pages/* build
+
+      # - name: Write switcher.json
+      #   run: python .github/pages/make_switcher.py --add $DOCS_VERSION ${{ github.repository }} build/switcher.json
+
+      # - name: Publish Docs to gh-pages
+      #   if: github.event_name == 'push' && github.actor != 'dependabot[bot]'
+      #   # We pin to the SHA, not the tag, for security reasons.
+      #   # https://docs.github.com/en/actions/learn-github-actions/security-hardening-for-github-actions#using-third-party-actions
+      #   uses: peaceiris/actions-gh-pages@bd8c6b06eba6b3d25d72b7a1767993c0aeee42e7 # v3.9.2
+      #   with:
+      #     github_token: ${{ secrets.GITHUB_TOKEN }}
+      #     publish_dir: build
+      #     keep_files: true