Compare commits

..

1 commit

Author SHA1 Message Date
72e652f679
ci: test both push and pull_request events
Some checks failed
/ report-size-pr (pull_request) Failing after 1s
/ report-download-check-pr (pull_request) Has been skipped
/ check (treefmt) (push) Successful in 3s
/ report-size (push) Successful in 4s
/ report-download-check (push) Successful in 0s
I think we have a bug with pull_request events so...
2025-07-10 20:03:35 +02:00

View file

@ -75,9 +75,12 @@ runs:
# If we were triggered by a PR then this is easy # If we were triggered by a PR then this is easy
if [ "$GITHUB_EVENT_NAME" = "pull_request" ]; then if [ "$GITHUB_EVENT_NAME" = "pull_request" ]; then
log "Triggered by a pull request with index: $GITHUB_HEAD_REF" # shellcheck disable=SC2016
log "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$GITHUB_HEAD_REF" # expanded by the runner
echo "pr-number=$GITHUB_HEAD_REF" >> "$GIHUB_OUTPUT" pr_number='${{ github.event.number }}'
log "Triggered by a pull request with index: $pr_number"
log "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$pr_number"
echo "pr-number=$pr_number" >> "$GIHUB_OUTPUT"
exit 0 exit 0
fi fi
@ -91,6 +94,8 @@ runs:
-H "Authorization: token $GITHUB_TOKEN" \ -H "Authorization: token $GITHUB_TOKEN" \
-H 'Accept: application/json') -H 'Accept: application/json')
log "Open PRs: $(echo "$prs" | jq --compact output 'map(.number)')"
pr_number=$(echo "$prs" | pr_number=$(echo "$prs" |
jq --arg head_ref "$head_ref" '.[] | select(.head.ref == $head_ref) | .number') jq --arg head_ref "$head_ref" '.[] | select(.head.ref == $head_ref) | .number')