|
7d7a576f50
|
ci: test both push and pull_request events
/ 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...
|
2025-07-11 19:25:00 +02:00 |
|
|
1b14f63169
|
fix(comparison): create the old report in the PWD
/ check (treefmt) (push) Successful in 3s
/ report-size (push) Successful in 2s
/ report-download-check (push) Successful in 0s
We were creating it in a temp dir instead.
|
2025-07-11 17:48:40 +02:00 |
|
|
a26909cb8c
|
fix(create-report): failing on private repos
/ check (treefmt) (push) Successful in 3s
/ report-size (push) Successful in 2s
/ report-download-check (push) Successful in 1s
Forgot to update the GITHUB_ACTION_PATH
|
2025-07-10 21:50:56 +02:00 |
|
|
9364b5d352
|
refactor: move scripts to scripts folder
/ check (treefmt) (push) Successful in 2s
/ report-size (push) Successful in 1s
/ report-download-check (push) Successful in 0s
This is a bit tidier.
|
2025-07-10 21:24:02 +02:00 |
|