Compare commits

..

1 commit

Author SHA1 Message Date
473a0f2852
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 4s
/ report-size (push) Successful in 3s
/ report-download-check (push) Successful in 0s
I think we have a bug with pull_request events so...
2025-07-10 19:56:32 +02:00

View file

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