chore: use updated scripts for PRs to main #7
| Job | Run time |
|---|---|
| 1s | |
| 17m 58s | |
| 17m 57s | |
| 10m 16s | |
| 17m 3s | |
| 17m 17s | |
| 8m 45s | |
| 10m 4s | |
| 4m 57s | |
| 6m 13s | |
| 4m 38s | |
| 6m 5s | |
| 6m 27s | |
| 5m 45s | |
| 5m 10s | |
| 4m 37s | |
| 5m 30s | |
| 3m 30s | |
| 2m 39s | |
| 5m 23s | |
| 3m 31s | |
| 3m 50s | |
| 1m 2s | |
| 51s | |
| 56s | |
| 53s | |
| 1m 0s | |
| 1m 24s | |
| 53s | |
| 2h 54m 35s |