Skip to content

CI Linux: Replace use of pkill #16268

CI Linux: Replace use of pkill

CI Linux: Replace use of pkill #16268

Triggered via pull request December 20, 2023 00:42
@mkoeppemkoeppe
unlabeled #36726
Status Skipped
Total duration 3s
Artifacts

sync_labels.yml

on: pull_request_target
synchronize
0s
synchronize
Fit to window
Zoom out
Zoom in