Even cleaner version of MGB. #1161
dbarahonenforce-labels.yml
on: pull_request
require-label
3s
blocking-label
7s
Annotations
1 error
|
require-label
This PR is being prevented from merging because you have not added one of our required labels: 0 diff, 0 diff trivial, Non 0-diff, 0 diff structural, 0-diff trivial, Not 0-diff, 0-diff, automatic, 0-diff uncoupled, github_actions. Please add one so that the PR can be merged.
|