Skip to content
Server

server : add pidfile option #15212

Sign in to view logs

server : add pidfile option

server : add pidfile option #15212

Triggered via pull request June 17, 2025 13:24
@ericcurtinericcurtin
opened #14242
add-pidfile
Status Cancelled
Total duration 6m 14s
Artifacts –

server.yml

on: pull_request
server-windows
2m 26s
server-windows
Matrix: server
Fit to window
Zoom out
Zoom in

Annotations

7 errors
server (Release)
Canceling since a higher priority waiting request for Server-refs/pull/14242/merge-add-pidfile exists
server (ADDRESS, 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 (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