From ebdc386c6e46b90eb7c7f0addb9980cad76cbd99 Mon Sep 17 00:00:00 2001
From: Patrick Lehmann <Paebbels@gmail.com>
Date: Sat, 29 Oct 2022 22:41:43 +0200
Subject: [PATCH] Added pipeline to build the documentation.

(cherry picked from commit 092a1c468d7ec5c8015e3ae87cf532d4fa6b730d)
---
 .github/workflows/Pipeline.yml | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 .github/workflows/Pipeline.yml

diff --git a/.github/workflows/Pipeline.yml b/.github/workflows/Pipeline.yml
new file mode 100644
index 0000000..3e05294
--- /dev/null
+++ b/.github/workflows/Pipeline.yml
@@ -0,0 +1,27 @@
+name: Pipeline
+
+on:
+  push:
+  workflow_dispatch:
+
+jobs:
+  BuildTheDocs:
+    uses: pyTooling/Actions/.github/workflows/BuildTheDocs.yml@r0
+    with:
+      artifact: Documentation
+
+  PublishToGitHubPages:
+    uses: pyTooling/Actions/.github/workflows/PublishToGitHubPages.yml@r0
+    needs:
+      - BuildTheDocs
+    with:
+      doc: Documentation
+
+#  ArtifactCleanUp:
+#    uses: pyTooling/Actions/.github/workflows/ArtifactCleanUp.yml@r0
+#    needs:
+#      - BuildTheDocs
+#      - PublishToGitHubPages
+#    with:
+#      remaining: |
+#        Documentation