From 205e153e79c51084bc36218fd43d2bad0df3f9f0 Mon Sep 17 00:00:00 2001
From: Simon Christ <SimonChrist@gmx.de>
Date: Wed, 12 May 2021 20:06:11 +0200
Subject: [PATCH] [skip ci]

---
 .github/workflows/docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0e5d3e55..1f7e4f10 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -2,6 +2,7 @@ name: docs
 
 on:
  push:
+ pull_request:
  
 jobs:
   Build_docs: