Skip to content

CI: Merge open blocker PRs in all CI workflows + other improvements #8150

CI: Merge open blocker PRs in all CI workflows + other improvements

CI: Merge open blocker PRs in all CI workflows + other improvements #8150

Triggered via pull request September 27, 2023 17:17
@mkoeppemkoeppe
labeled #36338
Status Skipped
Total duration 3s
Artifacts

sync_labels.yml

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