diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index 9650c7ba054..9e65a357fca 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -123,7 +123,7 @@ jobs:
             const id = tmp_round.indexOf(":");
             const round = tmp_round.substring(0,id);
             const address = "The documentation is built. It will be available, after a few minutes, here: https://cgal.github.io/${{ steps.get_pr_number.outputs.result }}/"+round+"/Manual/index.html"
-            github.issues.createComment({
+            github.rest.issues.createComment({
               owner: "CGAL",
               repo: "cgal",
               issue_number: ${{ github.event.issue.number }},
@@ -137,7 +137,7 @@ jobs:
           script: |
             const error = "${{steps.build_and_run.outputs.DoxygenError}}"
             const msg = "There was an error while building the doc: \n"+error
-            github.issues.createComment({
+            github.rest.issues.createComment({
               owner: "CGAL",
               repo: "cgal",
               issue_number: ${{ github.event.issue.number }},