.github: Switch to GCP runner instead of large GH runner#4574
.github: Switch to GCP runner instead of large GH runner#4574bert-e merged 1 commit intodevelopment/128.0from
Conversation
Hello teddyandrieux,My role is to assist you with the merge of this Available options
Available commands
Status report is not available. |
Request integration branchesWaiting for integration branch creation to be requested by the user. To request integration branches, please comment on this pull request with the following command: Alternatively, the |
|
/approve |
Integration data createdI have created the integration data for the additional destination branches.
The following branches will NOT be impacted:
You can set option The following options are set: approve |
Waiting for approvalThe following approvals are needed before I can proceed with the merge:
Peer approvals must include at least 1 approval from the following list: The following options are set: approve |
It seems we have from time to time connection issue between large GH runner and OVH Cloud, which is not the case with GCP runner. This commit switches the runner to GCP.
1401fc2 to
5418bc9
Compare
History mismatchMerge commit #1401fc20b4c7cb8cb679fec569b8bca278bc4552 on the integration branch It is likely due to a rebase of the branch Please use the The following options are set: approve |
|
/reset |
Reset completeI have successfully deleted this pull request's integration branches. The following options are set: approve |
Integration data createdI have created the integration data for the additional destination branches.
The following branches will NOT be impacted:
You can set option The following options are set: approve |
Waiting for approvalThe following approvals are needed before I can proceed with the merge:
Peer approvals must include at least 1 approval from the following list: The following options are set: approve |
Build failedThe build for commit did not succeed in branch w/130.0/bugfix/switch-to-gcp-runner The following options are set: approve |
In the queueThe changeset has received all authorizations and has been added to the The changeset will be merged in:
The following branches will NOT be impacted:
There is no action required on your side. You will be notified here once IMPORTANT Please do not attempt to modify this pull request.
If you need this pull request to be removed from the queue, please contact a The following options are set: approve |
Queue build failedThe corresponding build for the queue failed:
Remove the pull request from the queue
|
|
I have successfully merged the changeset of this pull request
The following branches have NOT changed:
Please check the status of the associated issue None. Goodbye teddyandrieux. |
It seems we have from time to time connection issue between large GH runner and OVH Cloud, which is not the case with GCP runner. This commit switches the runner to GCP.