mirror of
https://github.com/conan-io/conan-center-index.git
synced 2025-08-09 07:48:56 +00:00
(#12913) [docs] Clarify Unexpected error restarting
* Clarify Unexpected error restarting Signed-off-by: Uilian Ries <uilianries@gmail.com> * Fix typo Co-authored-by: SSE4 <tomskside@gmail.com> Signed-off-by: Uilian Ries <uilianries@gmail.com> Co-authored-by: SSE4 <tomskside@gmail.com>
This commit is contained in:
@@ -52,7 +52,9 @@ any further activity.
|
||||
Label [`Unexpected Error`](https://github.com/conan-io/conan-center-index/pulls?q=is%3Aopen+is%3Apr+label%3A%22Unexpected+Error%22)
|
||||
is assigned by the CI when the process finishes abnormally. It tries to signal all the pull requests that failed, but
|
||||
didn't provide any meaningful message to the user. Usually it is some _random_ internal error and it won't happen next
|
||||
time the CI runs, don't hesitate to trigger a new build in this situation.
|
||||
time the CI runs. The CI will re-start your build automatically, the Github check `continuous-integration/jenkins/pr-merge` will changed to the
|
||||
status `Pending — This commit is being built` to signalize as running. In case you restart it manually, by closing/opening the PR, your
|
||||
build will be restarted too, but it will be the last in the CI build queue.
|
||||
|
||||
## User-approval pending
|
||||
|
||||
|
Reference in New Issue
Block a user