From 2b3e0a709802ceb170d91b066161ad2d6fd4df7d Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau@cgal.org>
Date: Wed, 9 Oct 2024 11:28:05 +0200
Subject: [PATCH] Update build_doc.yml

---
 .github/workflows/build_doc.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index cf65f46fcb9..705ead0028c 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -214,7 +214,6 @@ jobs:
             done
             cat index.html | grep -F "$(echo */ | tr ' ' '\n')" > index.html
             git add ${PR_NUMBER}/$ROUND index.html && git commit -q --amend -m "sole commit" && git push -q -f -u origin master
-            exit $exit_code
           else
             echo "DoxygenError=This round already exists. Overwrite it with /force-build." >> $GITHUB_OUTPUT
             exit 1