activate docs

Gerit Wagner · Gerit Wagner · commit 3b2a173bbdbd · 2025-03-11T17:48:02.000+01:00
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -1,3 +1,10 @@
+name: Deploy documentation to GitHub Pages
+
+on:
+  push:
+    branches:
+      - main
+
 permissions:
   contents: read
   id-token: write
