Compare commits

..

1 commit

Author SHA1 Message Date
5f3b69c129
ci: test both push and pull_request events
Some checks failed
/ report-size-pr (pull_request) Failing after 2s
/ 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 1s
I think we have a bug with pull_request events so...
2025-07-10 20:06:19 +02:00

View file

@ -80,6 +80,7 @@ runs:
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"
log "Writing output to: $GITHUB_OUTPUT"
echo "pr-number=$pr_number" >> "$GIHUB_OUTPUT"
exit 0
fi