ccMixter: Handle bad numbers with a decimal point #15076
pr_label_check.yml
on: pull_request
Get label groups
11s
Check aspect label
7s
Check goal label
5s
Check priority label
3s
Check stack label
4s