From 9765bbc3da4eee546b53d0e2f973a627990cde16 Mon Sep 17 00:00:00 2001
From: Abdessamad Derraz <3028866+Abdess@users.noreply.github.com>
Date: Wed, 25 Mar 2026 15:53:20 +0100
Subject: [PATCH] feat: add site deploy workflow, triggers only on content
 changes

---
 .github/workflows/deploy-site.yml | 43 +++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 .github/workflows/deploy-site.yml

diff --git a/.github/workflows/deploy-site.yml b/.github/workflows/deploy-site.yml
new file mode 100644
index 00000000..b038fbdd
--- /dev/null
+++ b/.github/workflows/deploy-site.yml
@@ -0,0 +1,43 @@
+name: Deploy Site
+
+on:
+  push:
+    branches: [main]
+    paths:
+      - "platforms/**"
+      - "emulators/**"
+      - "scripts/generate_site.py"
+      - "scripts/generate_readme.py"
+      - "scripts/verify.py"
+      - "scripts/common.py"
+      - "database.json"
+      - "mkdocs.yml"
+  workflow_dispatch:
+
+permissions:
+  contents: write
+  pages: write
+
+concurrency:
+  group: deploy-site
+  cancel-in-progress: true
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v6
+
+      - uses: actions/setup-python@v6
+        with:
+          python-version: "3.12"
+
+      - run: pip install pyyaml mkdocs-material pymdown-extensions
+
+      - name: Generate site
+        run: |
+          python scripts/generate_site.py
+          python scripts/generate_readme.py --db database.json --platforms-dir platforms
+
+      - name: Deploy to GitHub Pages
+        run: mkdocs gh-deploy --force --clean