Merge pull request #1765: Create PRs on other repos with GitHub CLI #1423
Job | Run time |
---|---|
1m 52s | |
19s | |
1m 27s | |
1m 28s | |
27s | |
2m 31s | |
1m 27s | |
28s | |
25s | |
2m 25s | |
28s | |
2m 24s | |
25s | |
30s | |
29s | |
33s | |
0s | |
0s | |
0s | |
17m 38s |
Job | Run time |
---|---|
1m 52s | |
19s | |
1m 27s | |
1m 28s | |
27s | |
2m 31s | |
1m 27s | |
28s | |
25s | |
2m 25s | |
28s | |
2m 24s | |
25s | |
30s | |
29s | |
33s | |
0s | |
0s | |
0s | |
17m 38s |