From a9f08c847a52e90ff5c70498c086ad4e755c5adc Mon Sep 17 00:00:00 2001
From: Andreas Hochsteger <andreas.hochsteger@gmail.com>
Date: Tue, 22 Aug 2023 10:35:48 +0200
Subject: [PATCH] fix: github pages deployment

---
 .github/workflows/ci.yaml | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 8153ebb2..9451c142 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -59,16 +59,30 @@ jobs:
         name: Deploy Lib
         run: npm run deploy
       - id: setup-pages
-        if: ${{ steps.release.outputs.releaseVersion }}
         name: Setup Pages
         uses: actions/configure-pages@v3
       - id: upload-pages
-        if: ${{ steps.release.outputs.releaseVersion }}
         name: Upload Pages
         uses: actions/upload-pages-artifact@v2
         with:
           path: "build/docs"
+  pages:
+    # See https://github.com/actions/starter-workflows/blob/main/pages/static.yml
+    runs-on: ubuntu-latest
+    needs: build
+    if: ${{ needs.build.outputs.releaseVersion }}
+    # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+    permissions:
+      contents: read
+      pages: write
+      id-token: write
+
+    # 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.
+    concurrency:
+      group: "pages"
+      cancel-in-progress: false
+    steps:
       - name: Deploy Pages
-        if: ${{ steps.release.outputs.releaseVersion }}
         id: deploy-pages
         uses: actions/deploy-pages@v2