Update docs.yml

Author: Sparks29032

.github/workflows/docs.yml

@@ -5,7 +5,8 @@ on:
     branches:
       - main
   release:
-    
+
+  # Documentation built but not deployed for pull requests
   pull_request:
     branches:
       - main
@@ -42,6 +43,7 @@ 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: