github.event.issue might be undefined

This commit is contained in:
Laurent Rineau 2025-12-10 17:24:51 +01:00
parent 80e62cddcf
commit 66fa372677
1 changed files with 2 additions and 2 deletions

View File

@ -213,7 +213,7 @@ jobs:
github.rest.issues.createComment({
owner: "CGAL",
repo: "cgal",
issue_number: ${{ github.event.issue.number }},
issue_number: ${{ env.pr_number }},
body: address
});
@ -230,6 +230,6 @@ jobs:
github.rest.issues.createComment({
owner: "CGAL",
repo: "cgal",
issue_number: ${{ github.event.issue.number }},
issue_number: ${{ env.pr_number }},
body: msg
});