ci: test both push and pull_request events
All checks were successful
/ check (treefmt) (push) Successful in 3s
/ report-size (push) Successful in 2s
/ report-download-check (push) Successful in 1s
/ report-size-pr (pull_request) Successful in 6s
/ report-download-check-pr (pull_request) 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 e5c9b8ab90
Signed by: jalil
GPG key ID: F016B9E770737A0B
4 changed files with 42 additions and 10 deletions

View file

@ -24,18 +24,17 @@ jobs:
uses: ./
with:
# Create a comment on the associated PR
comment-on-pr: ${{ github.ref_name != 'main' }}
comment-on-pr: 'false'
# Generate artifacts on main (to speed up comparisons)
# generate-artifact: ${{ github.ref_name == 'main' }}
# Always generate artifacts for testing purposes
generate-artifact: 'true'
# Generate comparisons to main
do-comparison: 'true'
# This job's name (so we can find the artifacts)
# This job's name (so we can find the previous artifacts)
job-name: report-size
report-download-check:
runs-on: nixos
needs: report-size
needs: report-size-push
if: github.event_name == 'push'
steps:
- name: Download previous report
uses: https://git.salame.cl/actions/download-artifact@d8d0a99033603453ad2255e58720b460a0555e1e # v4