From 1b6c239655dafc73740b77a7b3a1d8b79f2cb9de Mon Sep 17 00:00:00 2001
From: Philipp Rehner <prehner@ethz.ch>
Date: Fri, 31 Oct 2025 12:27:58 +0100
Subject: [PATCH] try again with different workflow file

---
 .github/workflows/documentation.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index e3707c036..eec1c7d49 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -1,15 +1,15 @@
 name: Deploy Documentation
 
 on:
-  push:
-    branches: [main]
+  pull_request:
+    types: [ closed ]
 
 env:
   CARGO_TERM_COLOR: always
 
 jobs:
   build-documentation:
-    if: contains(github.event.pull_request.labels.*.name, 'build_documentation')
+    if: contains(github.event.pull_request.labels.*.name, 'build_documentation') && github.event.pull_request.merged == true
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4