From 489e334083a4f6ae1346c2bdc22bd0d9f9cc4e70 Mon Sep 17 00:00:00 2001
From: Abhishek Dasgupta <abhishek.dasgupta@dtc.ox.ac.uk>
Date: Fri, 19 Jul 2024 16:28:31 +0100
Subject: [PATCH] ci: build docs on pull requests

---
 .github/workflows/docs-build-deploy.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs-build-deploy.yml b/.github/workflows/docs-build-deploy.yml
index 9c1023b..bee148d 100644
--- a/.github/workflows/docs-build-deploy.yml
+++ b/.github/workflows/docs-build-deploy.yml
@@ -3,19 +3,24 @@ on:
   push:
     branches:
       - main
+  pull_request:
+    branches:
+      - main
+
 jobs:
   build-and-deploy:
     runs-on: ubuntu-latest
     permissions:
       contents: write
     steps:
-    - uses: actions/checkout@v3
-    - uses: actions/setup-python@v3
+    - uses: actions/checkout@v4
+    - uses: actions/setup-python@v5
     - name: Install cats with documentation helpers
       run: python3 -m pip install '.[docs]'
     - name: Build sphinx docs
       run: make -C docs html
     - name: Deploy sphinx docs
+      if: github.ref == 'refs/heads/main'
       run: |
         git config user.name 'github-action'
         git config user.email 'github-action'