Compare commits

..

1 commit

Author SHA1 Message Date
70de79bafa
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 4s
/ report-download-check (push) Successful in 1s
I think we have a bug with pull_request events so...
2025-07-10 19:47:18 +02:00

View file

@ -73,14 +73,6 @@ runs:
run: | run: |
. "$GITHUB_ACTION_PATH/utils.sh" . "$GITHUB_ACTION_PATH/utils.sh"
# If we were triggered by a PR then this is easy
if [ "$GITHUB_EVENT_NAME" = "pull_request" ]; then
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
log 'Determine head_ref' log 'Determine head_ref'
# For push & tag events it'll bet GITHUB_REF_NAME, for pull_request events it'll be GITHUB_HEAD_REF # For push & tag events it'll bet GITHUB_REF_NAME, for pull_request events it'll be GITHUB_HEAD_REF
head_ref=${GITHUB_REF_NAME:-$GITHUB_HEAD_REF} head_ref=${GITHUB_REF_NAME:-$GITHUB_HEAD_REF}