Skip to content

ci: fix github.base_ref for merge_groups #19223

ci: fix github.base_ref for merge_groups

ci: fix github.base_ref for merge_groups #19223

Triggered via pull request November 8, 2023 11:54
@kaspar030kaspar030
opened #20060
Status Success
Total duration 26s
Artifacts

check-labels.yml

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