Skip to content

CI Linux: Replace use of pkill #16269

CI Linux: Replace use of pkill

CI Linux: Replace use of pkill #16269

Triggered via pull request December 20, 2023 00:43
@mkoeppemkoeppe
labeled #36726
Status Skipped
Total duration 2s
Artifacts

sync_labels.yml

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