From c633a7a71d4aee47611cbc4da6ac1ad7718c4a03 Mon Sep 17 00:00:00 2001
From: Ruggero Visintin <RuggeroVisintin@users.noreply.github.com>
Date: Sun, 10 Dec 2023 11:56:03 +0100
Subject: [PATCH] ci: execute docs publishing step only when new release is
 created

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c50ba568..ba32c2fd 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -81,19 +81,19 @@ jobs:
         - name: install
           run: npm ci
         - name: build docs
-          # if: ${{ steps.release.outputs.release_created }}
+          if: ${{ steps.release.outputs.release_created }}
           run: |
             npm run build:docs
         - name: Setup Pages
-          # if: ${{ steps.release.outputs.release_created }}
+          if: ${{ steps.release.outputs.release_created }}
           uses: actions/configure-pages@v4
         - name: upload docs artifact
-          # if: ${{ steps.release.outputs.release_created }}
+          if: ${{ steps.release.outputs.release_created }}
           uses: actions/upload-pages-artifact@v2
           with: 
             path: "docs/"
         - name: deploy docs artifact
-          # if: ${{ steps.release.outputs.release_created }}
+          if: ${{ steps.release.outputs.release_created }}
           uses: actions/deploy-pages@v3
       needs: [test_unit, test_visual, build]
       if: github.ref_name == 'main'