Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR #3593
Job | Run time |
---|---|
3m 54s | |
8m 7s | |
14m 48s | |
13m 49s | |
5s | |
1m 12s | |
1s | |
0s | |
41m 56s |
Job | Run time |
---|---|
3m 54s | |
8m 7s | |
14m 48s | |
13m 49s | |
5s | |
1m 12s | |
1s | |
0s | |
41m 56s |