ci: test both push and pull_request events #21

Merged

jalil merged 1 commit from push-wrtlnrrsrqoo into main

2025-07-11 19:26:04 +02:00

Author	SHA1	Message	Date
Jalil David Salamé Messina	7d7a576f50	ci: test both push and pull_request events All checks were successful / report-size-pr (pull_request) Successful in 4s Details / report-download-check-pr (pull_request) Successful in 1s Details / check (treefmt) (push) Successful in 3s Details / report-size (push) Successful in 2s Details / report-download-check (push) Successful in 1s Details I think we have a bug with pull_request events so...	2025-07-11 19:25:00 +02:00