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

@ -80,7 +80,6 @@ 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