Fix PR_NUMBER env variable

2026-11-06 06:28:27 +00:00 · 2022-04-27 22:43:51 +01:00
parent 61f8ec5e10
commit dab1488ffe
4 changed files with 10 additions and 10 deletions
@@ -20,7 +20,7 @@ on:
        required: true
 env:
  # This must be set for fetchdep.sh to get the right branch
-  PR_NUMBER: ${{ github.event.pull_requests.number }}
+  PR_NUMBER: ${{ github.event.pull_request.number }}
 jobs:
  build:
    name: "Build"