Build and deploy from the devel branch once a week, preferably at the…

.github/workflows/build-devel-docs.yaml

@@ -0,0 +1,22 @@
+---
+name: Scheduled build for devel docs
+"on":
+  schedule:
+    # Run at 05:22 daily
+    - cron: '22 5 * * *'
+
+jobs:
+  build-package-docs:
+    name: 📝 Build
+    uses: ./.github/workflows/reusable-build-docs.yaml
+    secrets:
+      DOCS_BOT_TOKEN: ${{ secrets.DOCS_BOT_TOKEN }}
+
+  deploy-package-docs:
+    name: 🚀 Deploy
+    needs: build-package-docs
+    uses: ./.github/workflows/reusable-deploy-docs.yaml
+    with:
+      deployment-environment: 'production'
+    secrets:
+      DEPLOY_DOC_BUILD: ${{ secrets.DEPLOY_DOC_BUILD }}

.github/workflows/build-latest-docs.yaml

@@ -0,0 +1,27 @@
+---
+name: Scheduled build for latest docs
+"on":
+  schedule:
+    # Run at 05:41 on Monday
+    - cron: '41 5 * * 1'
+
+jobs:
+  build-package-docs:
+    name: 📝 Build
+    uses: ./.github/workflows/reusable-build-docs.yaml
+    with:
+      repository-branch: 'stable-2.18'
+      ansible-package-version: '11'
+    secrets:
+      DOCS_BOT_TOKEN: ${{ secrets.DOCS_BOT_TOKEN }}
+
+  deploy-package-docs:
+    name: 🚀 Deploy
+    needs: build-package-docs
+    uses: ./.github/workflows/reusable-deploy-docs.yaml
+    with:
+      ansible-package-version: '11'
+      deployment-environment: 'production'
+      repository-branch: 'stable-2.18'
+    secrets:
+      DEPLOY_DOC_BUILD: ${{ secrets.DEPLOY_DOC_BUILD }}