Skip to content

ci: migrate to github merge queues #19332

ci: migrate to github merge queues

ci: migrate to github merge queues #19332

Triggered via pull request November 9, 2023 12:54
@kaspar030kaspar030
synchronize #20063
Status Success
Total duration 17s
Artifacts

check-labels.yml

on: pull_request_target
check-labels
8s
check-labels
Fit to window
Zoom out
Zoom in