diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index b15b2658b6c..fe5614e4a78 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -155,7 +155,7 @@ jobs:
         if: ${{ failure() && steps.get_round.outputs.result != 'stop' }}
         with:
           script: |
-            const error = "${{steps.build_and_run.outputs.DoxygenError}}"
+            const error = `${{steps.build_and_run.outputs.DoxygenError}}`
             const msg = "There was an error while building the doc: \n"+error
             github.rest.issues.createComment({
               owner: "CGAL",