server : add pidfile option #15213
ericcurtinserver.yml
on: pull_request
server-windows
2m 27s
Matrix: server
Annotations
9 errors
|
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-windows
The operation was canceled.
|
|
server-windows
Canceling since a higher priority waiting request for Server-refs/pull/14242/merge-add-pidfile exists
|
|
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
Canceling since a higher priority waiting request for Server-refs/pull/14242/merge-add-pidfile exists
|