Merge pull request #137 from benjeffery/no-deploy-on-PR

Don't deploy on PRs

.github/workflows/docs.yml

@@ -40,7 +40,7 @@ jobs:
 
   deploy:
     needs: build-docs
-
+    if: github.event_name != 'pull_request'
     permissions:
         pages: write
         id-token: write
@@ -52,6 +52,5 @@ jobs:
     runs-on: ubuntu-latest
     steps:
         - name: Deploy to GitHub Pages
-          if: github.ref == 'refs/heads/main'
           id: deployment
           uses: actions/deploy-pages@v4