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

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 7d7a576f50
Signed by: jalil
GPG key ID: F016B9E770737A0B
4 changed files with 50 additions and 13 deletions

View file

@ -90,10 +90,12 @@ 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:
PR_ID: ${{ steps.pr-number.outputs.pr-number }}
ARTIFACT_NAME: ${{ inputs.artifact-name }}
BASE_BRANCH: ${{ inputs.base-branch }}
COMMENT_ID: ${{ steps.find-comment.outputs.comment-id }}
DO_COMPARISON: ${{ inputs.do-comparison }}
BASE_BRANCH: ${{ inputs.base-branch }}
JOB_NAME: ${{ inputs.job-name }}
PR_ID: ${{ steps.pr-number.outputs.pr-number }}
run: |
. "$GITHUB_ACTION_PATH/scripts/utils.sh"