Skip to content

CI Linux: Replace use of pkill #16291

CI Linux: Replace use of pkill

CI Linux: Replace use of pkill #16291

Triggered via pull request December 20, 2023 01:01
@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