refactor: extract wiki to source files, use deploy-pages action

This commit is contained in:
Abdessamad Derraz
2026-03-25 16:02:11 +01:00
parent 6e237e3b6d
commit 851f53ba7f
8 changed files with 455 additions and 26 deletions

View File

@@ -23,7 +23,6 @@ jobs:
runs-on: ubuntu-latest
permissions:
contents: write
pages: write
steps:
- uses: actions/checkout@v6
@@ -81,14 +80,6 @@ jobs:
if: steps.rate.outputs.skip != 'true'
run: python scripts/generate_pack.py --all --output-dir dist/
- name: Deploy site to GitHub Pages
if: steps.rate.outputs.skip != 'true'
run: |
pip install mkdocs-material
python scripts/generate_readme.py --db database.json --platforms-dir platforms
python scripts/generate_site.py
mkdocs gh-deploy --force --clean
- name: Release
if: steps.rate.outputs.skip != 'true'
run: |

View File

@@ -6,6 +6,7 @@ on:
paths:
- "platforms/**"
- "emulators/**"
- "wiki/**"
- "scripts/generate_site.py"
- "scripts/generate_readme.py"
- "scripts/verify.py"
@@ -15,15 +16,16 @@ on:
workflow_dispatch:
permissions:
contents: write
contents: read
pages: write
id-token: write
concurrency:
group: deploy-site
cancel-in-progress: true
jobs:
deploy:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
@@ -38,6 +40,20 @@ jobs:
run: |
python scripts/generate_site.py
python scripts/generate_readme.py --db database.json --platforms-dir platforms
mkdocs build --strict
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: site/
deploy:
needs: build
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy to GitHub Pages
run: mkdocs gh-deploy --force --clean
id: deployment
uses: actions/deploy-pages@v4