build: add a script to merge a PR according to our current workflow #5440
Job | Run time |
---|---|
28s | |
5m 56s | |
3m 26s | |
1m 29s | |
3m 43s | |
1m 30s | |
1m 40s | |
8m 22s | |
2m 41s | |
1m 1s | |
1m 47s | |
56s | |
1m 31s | |
34m 30s |
Job | Run time |
---|---|
28s | |
5m 56s | |
3m 26s | |
1m 29s | |
3m 43s | |
1m 30s | |
1m 40s | |
8m 22s | |
2m 41s | |
1m 1s | |
1m 47s | |
56s | |
1m 31s | |
34m 30s |