chore: adding fix to master branch

noir-lang · Oct 24, 2023 · f5fc94e · f5fc94e
1 parent 6b301aa
commit f5fc94e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/.github/actions/docs/build-status/script.sh b/.github/actions/docs/build-status/script.sh
@@ -18,11 +18,11 @@ while [[ "$DEPLOY_STATUS" != "ready" && $COUNT -lt $MAX_RETRIES ]]; do
         exit 0
     elif [[ "$DEPLOY_STATUS" == "error" ]]; then
         echo "deploy_status=failure" >> $GITHUB_OUTPUT
-        exit 0
+        exit 1
     fi
 
     echo "Deploy still running. Retrying..."
 done
 
 echo "deploy_status=failure" >> $GITHUB_OUTPUT
-exit 0
+exit 1
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
@@ -99,9 +99,14 @@ jobs:
           branch-name: ${{ github.head_ref || github.ref }}
           site-id: ${{ secrets.NETLIFY_SITE_ID }}
 
+
       - name: Debugging - print deploy_status
         run: echo "${{ steps.check_deploy_status.outputs.deploy_status }}"
 
+      - name: Fail the workflow if deployment failed
+        if: steps.check_deploy_status.outputs.deploy_status == 'failure'
+        run: exit 1
+
       - name: Change PR Comment for Successful Deployment
         if: steps.check_deploy_status.outputs.deploy_status == 'success'
         uses: mshick/add-pr-comment@v2