From 94c61d4ecee4c5601f19f2da8fcb4c3c17a8e4ff Mon Sep 17 00:00:00 2001
From: Wolfgang Hoenig <hoenig@tu-berlin.de>
Date: Thu, 16 Nov 2023 17:22:28 +0100
Subject: [PATCH] Run docs CI on PRs; deploy only in main

---
 .github/workflows/ci-docs2.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci-docs2.yml b/.github/workflows/ci-docs2.yml
index 3884a8f19..37521f765 100644
--- a/.github/workflows/ci-docs2.yml
+++ b/.github/workflows/ci-docs2.yml
@@ -1,8 +1,10 @@
-name: Docs deploy
+name: Docs
 
 on:
   push:
     branches: [ main ]
+  pull_request:
+    branches: [ main ]
 
 jobs:
   build:
@@ -33,6 +35,7 @@ jobs:
         touch docs2/_build/html/.nojekyll
 
     - name: Deploy
+      if: github.ref == 'refs/heads/main'
       uses: JamesIves/github-pages-deploy-action@v4
       with:
         folder: docs2/_build/html # The folder the action should deploy.