Server

server : add pidfile option #15215

Sign in to view logs

Triggered via pull request June 17, 2025 13:33

ericcurtin

synchronize #14242

add-pidfile

Status Cancelled

Total duration 3m 19s

Artifacts –

server.yml

on: pull_request

Matrix: server

Waiting for pending jobs

Annotations

1 error

Canceling since a higher priority waiting request for Server-refs/pull/14242/merge-add-pidfile exists