replace dev/script/push-pr.sh with an equivalent GHA
#4720
| Job | Run time |
|---|---|
| 6m 51s | |
| 6m 51s |
dev/script/push-pr.sh with an equivalent GHA
#4720
| Job | Run time |
|---|---|
| 6m 51s | |
| 6m 51s |