We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
pr-subscribers-vectorization
The automation script tried to find pr-subscribers-vectorization which mismatch to the pr-subscribers-vectorizers
pr-subscribers-vectorizers
Run python3 ./github-automation.py \ python3 ./github-automation.py \ --token '***' \ pr-subscriber \ --issue-number "" \ --label-name "vectorization" shell: /usr/bin/bash -e {0} couldn't find team named pr-subscribers-vectorization
The text was updated successfully, but these errors were encountered:
@llvm/pr-subscribers-github-workflow @llvm/pr-subscribers-pr-subscribers-github-workflow
Sorry, something went wrong.
[Github] Switch vectorization PR label to vectorizers
1a663c8
This changes the PR label to match the name of the subscriber team. Fixes llvm#111485.
boomanaiden154
Successfully merging a pull request may close this issue.
The automation script tried to find
pr-subscribers-vectorization
which mismatch to thepr-subscribers-vectorizers
The text was updated successfully, but these errors were encountered: