Accomodate breaking changes in Github Action actions/github-script@v3

See https://github.com/actions/github-script#breaking-changes-in-v5
This commit is contained in:
Laurent Rineau 2022-06-27 10:00:23 +02:00
parent 352bf23951
commit 386811cb7c
1 changed files with 2 additions and 2 deletions

View File

@ -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 }},