build: add a script to merge a PR according to our current workflow #5451
Job | Run time |
---|---|
26s | |
6m 11s | |
8m 17s | |
3m 28s | |
1m 22s | |
3m 42s | |
1m 29s | |
3m 3s | |
2m 47s | |
1m 35s | |
2m 24s | |
57s | |
50s | |
36m 31s |
Job | Run time |
---|---|
26s | |
6m 11s | |
8m 17s | |
3m 28s | |
1m 22s | |
3m 42s | |
1m 29s | |
3m 3s | |
2m 47s | |
1m 35s | |
2m 24s | |
57s | |
50s | |
36m 31s |