Add pull request trigger for doc_source and src/ect paths so breaking

doc changes cant be pushed

Author: yemeen

.github/workflows/docs.yml

@@ -5,6 +5,11 @@ on:
     paths:
       - 'doc_source/**'
       - 'src/ect/**'
+  pull_request:
+    branches: [ "main" ]
+    paths:
+      - 'doc_source/**'
+      - 'src/ect/**'
 
 jobs:
   docs:
@@ -42,6 +47,7 @@ jobs:
           make html
           
       - name: Deploy to GitHub Pages
+        if: github.event_name == 'push'
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}