Revert docs.yml

Author: Sparks29032

.github/workflows/docs.yml

@@ -6,11 +6,6 @@ on:
       - main
   release:
 
-  # Documentation built but not deployed for pull requests
-  pull_request:
-    branches:
-      - main
-
 
 jobs:
   test:
@@ -43,8 +38,6 @@ jobs:
         run: make -C doc/manual html
 
       - name: Deploy
-        # Documentation deployed only on pushes to main and releases
-        if: ${{ (github.event_name == 'push' && github.ref == 'refs/heads/main') || github.event_name == 'release' }}
         uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}