From e113683e608637b902eda4464f5fcb0e3a61e5bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christoph=20Fr=C3=B6hlich?=
 <christophfroehlich@users.noreply.github.com>
Date: Sat, 1 Jul 2023 18:57:57 +0200
Subject: [PATCH] Add CI workflow to check docs (#1069)

(cherry picked from commit 87c91990c870e55e8956f7811fb6d7c237373dd9)
---
 .github/workflows/ci-check-docs.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 .github/workflows/ci-check-docs.yml

diff --git a/.github/workflows/ci-check-docs.yml b/.github/workflows/ci-check-docs.yml
new file mode 100644
index 0000000000..90a822aa72
--- /dev/null
+++ b/.github/workflows/ci-check-docs.yml
@@ -0,0 +1,12 @@
+name: Check Docs
+
+on:
+  workflow_dispatch:
+  pull_request:
+
+jobs:
+  check-docs:
+    name: Check Docs
+    uses: ros-controls/control.ros.org/.github/workflows/reusable-sphinx-check-single-version.yml@master
+    with:
+      ROS2_CONTROL_PR: ${{ github.ref }}