added wiki page

This commit is contained in:
2025-05-15 00:20:15 +02:00
parent cb848460c0
commit 77f31f7777
11 changed files with 6662 additions and 0 deletions
+34
View File
@@ -0,0 +1,34 @@
name: Deploy wiki
on:
push:
branches: [ main ]
paths:
- "docs/**"
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout repo
uses: actions/checkout@v4
- name: Build Astro page
uses: withastro/action@v4
with:
path: ./docs
node-version: '22'
deploy:
needs: build
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4