From e61f8b12e61fdbd8a104b44ea2321371ef8a92fd Mon Sep 17 00:00:00 2001
From: Niels Lohmann <mail@nlohmann.me>
Date: Wed, 3 Aug 2022 09:50:19 +0200
Subject: [PATCH] :construction_worker: add job to publish the documentation

---
 .github/workflows/publish_documentation.yml | 23 +++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 .github/workflows/publish_documentation.yml

diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml
new file mode 100644
index 000000000..5680ac93f
--- /dev/null
+++ b/.github/workflows/publish_documentation.yml
@@ -0,0 +1,23 @@
+name: Publish documentation
+
+# publish the documentation on every merge to develop
+on:
+  push:
+    branches:
+      - develop
+      - documentation_update # TODO: remove before merging
+
+# we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications
+concurrency:
+  group: documentation
+  cancel-in-progress: false
+
+jobs:
+  publish_documentation:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: build documentation
+        run: make install_venv build -C docs/mkdocs
+      - name: publish documentation
+        run: make publish -C docs/mkdocs