chore: remove useless actions for doc

Author: clement-tourriere

.github/workflows/ci.yml

@@ -67,49 +67,3 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
-  publish-docs:
-    permissions:
-      contents: write
-    needs: release
-    if: github.event_name == 'push' && contains(github.ref, 'refs/tags/')
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4
-        with:
-          fetch-depth: 0
-
-      - name: Configure Git
-        run: |
-          git config user.name "$GITHUB_ACTOR"
-          git config user.email "[email protected]"
-
-      - name: Fetch origin
-        run: git fetch origin
-
-      - name: Checkout gh-pages
-        run: git checkout gh-pages
-
-      - name: Checkout docs from the current branch
-        run: git checkout ${{ github.ref }} -- docs
-
-      - name: Add docs
-        run: git add docs
-
-      - name: Check for changes
-        id: check_changes
-        run: |
-          if git diff --cached --exit-code; then
-            echo "No changes to commit"
-            echo "changes=false" >> $GITHUB_ENV
-          else
-            echo "changes=true" >> $GITHUB_ENV
-          fi
-
-      - name: Commit and push changes
-        if: env.changes == 'true'
-        run: |
-          git commit -m "Copy docs from ${{ github.ref }}"
-          git push origin gh-pages
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}