From cc9393cecd753c064200c68be8d82cafe46278a9 Mon Sep 17 00:00:00 2001
From: Felix Fontein <felix@fontein.de>
Date: Wed, 22 Jun 2022 12:49:39 +0200
Subject: [PATCH] Add empty PR docs workflow. (#4879)

---
 .github/workflows/docs-pr.yml | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .github/workflows/docs-pr.yml

diff --git a/.github/workflows/docs-pr.yml b/.github/workflows/docs-pr.yml
new file mode 100644
index 0000000000..665a12d4fd
--- /dev/null
+++ b/.github/workflows/docs-pr.yml
@@ -0,0 +1,9 @@
+name: Collection Docs
+concurrency:
+  group: docs-${{ github.head_ref }}
+  cancel-in-progress: true
+on:
+  pull_request_target:
+    types: [opened, synchronize, reopened, closed]
+
+jobs: {}