From 952d22f363ffa96b4040c4e73e93fb7dde1c9f4d Mon Sep 17 00:00:00 2001
From: YouGuessedMyName <ivo@melse.info>
Date: Sat, 12 Oct 2024 14:49:45 +0200
Subject: [PATCH] run docs workflow on pull request

---
 .github/workflows/docs.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 30d84f2..25f841e 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,9 +1,11 @@
 name: Docs
 
 on:
-  # Runs on pushes targeting the default branch
+  # Runs on pushes targeting the default branch and pull requests.
   push:
     branches: [main]
+  pull_request:
+    types: [opened, reopened]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref_name }}