External PR labeler

QE: Rename Dev channels to Devel Channels #1893

Sign in to view logs

Triggered via pull request February 21, 2025 08:51

srbarrios

opened #9820

Status Success

Total duration 8s

Artifacts –

external_pr_labeler.yml

on: pull_request_target

Label external PRs