run docs workflow on pull request

moves-rwth · Oct 12, 2024 · 952d22f · 952d22f
1 parent bfd372c
commit 952d22f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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 }}