Skip deploy step on PRs

Author: ammario

.github/workflows/docs.yml

@@ -80,6 +80,7 @@ jobs:
           path: ./docs/book
 
   deploy:
+    if: github.event_name != 'pull_request'
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}