From 1a4a80aa652eaa60b7503940572d3ebe53c825e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ivan=20=E2=80=9CCLOVIS=E2=80=9D=20Canet?=
 <ivan.canet@4sh.fr>
Date: Sat, 13 Jul 2024 11:12:06 +0200
Subject: [PATCH] ci(github): Generate the MkDocs website

---
 .github/workflows/Website.yaml | 45 ++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 .github/workflows/Website.yaml

diff --git a/.github/workflows/Website.yaml b/.github/workflows/Website.yaml
new file mode 100644
index 0000000..cbaf50a
--- /dev/null
+++ b/.github/workflows/Website.yaml
@@ -0,0 +1,45 @@
+name: Website
+
+on: push
+
+jobs:
+  mkdocs:
+    name: Generate the MkDocs website
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+      - uses: actions/setup-python@v5
+        with:
+          python-version: 3.x
+      - name: Install MkDocs
+        run: pip install mkdocs-material[imaging]
+      - name: Generate the website
+        run: |
+          pushd docs/website
+          mkdocs build --site-dir ../../docs-website
+          popd
+          ls
+      - uses: actions/upload-pages-artifact@v3
+        with:
+          path: docs-website
+
+  deploy:
+    needs: mkdocs
+
+    if: success() && github.ref == 'refs/heads/main'
+
+    permissions:
+      pages: write
+      id-token: write
+
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    runs-on: ubuntu-latest
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4