From 355c2728484f3f1eb50c7c62c43a2082ba4b54e7 Mon Sep 17 00:00:00 2001
From: Basilius Sauter <basilius.sauter@gmail.com>
Date: Mon, 6 Sep 2021 08:12:23 +0200
Subject: [PATCH] Update documentation.yml

Changes documentation generation to act on pull requests instead.
---
 .github/workflows/documentation.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 16f50eb..56c2ec2 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -1,8 +1,7 @@
 name: Documentation
 
 on:
-  push:
-    branches: [ master ]
+  pull_request:
 
 jobs:
   build:
@@ -17,4 +16,4 @@ jobs:
         uses: EndBug/add-and-commit@v7
         with:
           add: "docs"
-          message: Adding generated Documentation
\ No newline at end of file
+          message: Adding generated Documentation