From 6c08af647d45f8606217d4d08d0f19b04aaa6c7e Mon Sep 17 00:00:00 2001
From: Ben Jeffery <ben.jeffery@bdi.ox.ac.uk>
Date: Fri, 19 Apr 2024 17:44:35 +0100
Subject: [PATCH] Don't deploy on PRs

---
 .github/workflows/docs.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0c547c4..1686bf3 100644
--- a/.github/workflows/docs.yml
+++ b/.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