Skip to content

CI Linux: Replace use of pkill #17216

CI Linux: Replace use of pkill

CI Linux: Replace use of pkill #17216

Triggered via pull request December 28, 2023 19:36
@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