work in progress on publishing docs

2026-07-26 23:24:07 +02:00
parent 2cec4de32e
commit 5a906cdea0
7 changed files with 63 additions and 9 deletions
@@ -2,16 +2,12 @@
 name: Deploy static content to Pages

 on:
-  # Allows you to run this workflow manually from the Actions tab
  workflow_dispatch:
-  release:
-    types: [published]
-
-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
-permissions:
-  contents: read
-  pages: write
-  id-token: write
+  push:
+    branches:
+      - main
+    paths:
+      - '_docs/**'

 # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
 # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.