From bfce44af75e00ed12de05c967de3f70781f97413 Mon Sep 17 00:00:00 2001
From: Ruggero Visintin <RuggeroVisintin@users.noreply.github.com>
Date: Sun, 10 Dec 2023 11:26:42 +0100
Subject: [PATCH] ci: refine documentation deploy

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a2c91d8c..f072002a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -76,6 +76,9 @@ jobs:
           if: ${{ steps.release.outputs.release_created }}
           run: |
             npm run build:docs
+        - name: Setup Pages
+          if: ${{ steps.release.outputs.release_created }}
+          uses: actions/configure-pages@v4
         - name: upload docs artifact
           if: ${{ steps.release.outputs.release_created }}
           uses: actions/upload-pages-artifact@v2