Don't allocate new labels if no extend labels when merging #12138
Triggered via pull request
September 20, 2023 22:23
yeya24
Status
Success
Total duration
8m 20s
Artifacts
–
docs.yaml
on: pull_request
Documentation check
8m 8s