server : add pidfile option #15214
ericcurtinserver.yml
on: pull_request
server-windows
5m 11s
Matrix: server
Annotations
8 errors
|
server (ADDRESS, RelWithDebInfo)
The operation was canceled.
|
|
server (ADDRESS, RelWithDebInfo)
Canceling since a higher priority waiting request for Server-refs/pull/14242/merge-add-pidfile exists
|
|
server (Release)
The operation was canceled.
|
|
server (Release)
Canceling since a higher priority waiting request for Server-refs/pull/14242/merge-add-pidfile exists
|
|
server (UNDEFINED, RelWithDebInfo)
The operation was canceled.
|
|
server (UNDEFINED, RelWithDebInfo)
Canceling since a higher priority waiting request for Server-refs/pull/14242/merge-add-pidfile exists
|
|
Server
Canceling since a higher priority waiting request for Server-refs/pull/14242/merge-add-pidfile exists
|
|
server-windows
Canceling since a higher priority waiting request for Server-refs/pull/14242/merge-add-pidfile exists
|