Deploy website to GitHub pages

1 files changed, 23 insertions, 3 deletions

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 05003e7..dfa67e1 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -30,8 +30,28 @@ jobs:
       run: |
         # For some reason they are generated by root user
         cp -a dillo/html web/doxygen
-    - name: Archive docs
-      uses: actions/upload-artifact@v4
+    - name: Upload Artifact
+      uses: actions/upload-pages-artifact@v3
       with:
-        name: website
         path: web/
+
+  deploy:
+    if: github.ref == 'refs/heads/master'
+    needs: build
+
+    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
+
+    # Deploy to the github-pages environment
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    # Specify runner + deployment step
+    runs-on: ubuntu-latest
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4