Back to pull request #1881

stdin-killer: do not setpgrp if already leader #415

Sign in to view logs

Triggered via pull request August 4, 2023 15:36

batrick

synchronize #1881

stdin-killer-setpgrp

Status Success

Total duration 6m 19s

Artifacts –

dependencies.yml

on: pull_request

Matrix: Test dependencies