ci: add page deployment

DNKpp · Apr 29, 2024 · 7a21704 · 7a21704
1 parent ce329ba
commit 7a21704
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml
@@ -38,3 +38,10 @@ jobs:
       with:
         name: HTML-Documentation
         path: build/docs/html
+
+    - name: Deploy to GitHub Pages
+      uses: actions/deploy-pages@v4
+      if: github.event_name == 'push'
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: build/docs/html