From af0904cf1ba73bb7957cc1565a600ff3e26883ae Mon Sep 17 00:00:00 2001
From: Linus Heck <linus.heck@ru.nl>
Date: Thu, 7 Nov 2024 11:13:46 +0100
Subject: [PATCH] always run docs

---
 .github/workflows/docs.yml | 33 +++++++++++++++------------------
 1 file changed, 15 insertions(+), 18 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0d85a13..01c9925 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,11 +1,6 @@
 name: Docs
 
-on:
-  # Runs on pushes targeting the default branch and pull requests.
-  push:
-    branches: [main]
-  pull_request:
-    types: [opened, reopened]
+on: [push]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref_name }}
@@ -67,15 +62,17 @@ jobs:
       - name: Generate docs
         working-directory: docs/
         run: make html
-
-      - name: Setup Pages
-        uses: actions/configure-pages@v5
-
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
-        with:
-          path: "docs/_build/html/"
-
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4
+        - name: Setup Pages
+          if: github.ref == 'refs/heads/main'
+          uses: actions/configure-pages@v5
+
+        - name: Upload artifact
+          if: github.ref == 'refs/heads/main'
+          uses: actions/upload-pages-artifact@v3
+          with:
+            path: "docs/_build/html/"
+
+        - name: Deploy to GitHub Pages
+          if: github.ref == 'refs/heads/main'
+          id: deployment
+          uses: actions/deploy-pages@v4