ci: test both push and pull_request events
All checks were successful
/ check (treefmt) (push) Successful in 3s
/ report-size (push) Successful in 1s
/ report-download-check (push) Successful in 0s
/ report-size-pr (pull_request) Successful in 5s
/ report-download-check-pr (pull_request) Successful in 0s

I think we have a bug with pull_request events so...
This commit is contained in:
Jalil David Salamé Messina 2025-07-10 19:39:36 +02:00
parent ca72db2a3b
commit a492f64717
Signed by: jalil
GPG key ID: F016B9E770737A0B
4 changed files with 43 additions and 11 deletions

View file

@ -90,6 +90,7 @@ runs:
# We want to generate a comment and we we able to find the PR number
if: inputs.comment-on-pr == 'true' && steps.pr-number.outputs.pr-number != ''
env:
ARTIFACT_NAME: ${{ inputs.artifact-name }}
PR_ID: ${{ steps.pr-number.outputs.pr-number }}
COMMENT_ID: ${{ steps.find-comment.outputs.comment-id }}
DO_COMPARISON: ${{ inputs.do-comparison }}