-
Notifications
You must be signed in to change notification settings - Fork 3.5k
New issue
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
[hot-fix][CI]Disable mypy for ethosu #9050
Conversation
cc @manupa-arm |
Thanks for catching this! Any idea why it did not fail before? cc: @mbaret @ashutosh-arm |
@manupa-arm it looks like the changes causing this one are from here #8806 |
Thanks @mikepapadim! but I believe it passed CI with those checks. Did anything change on the CI ? |
Missing stub warnings can be fixed with this: mypy --check-untyped-defs python/tvm/relay/backend/contrib/ethosu/ --ignore-missing-imports |
this hit #9013, we also need to fix that. |
Can we set up a big red button that merges something without CI passing? |
This bug hits also stagging Jenkins. |
i dont think committers have permission to merge a pr without CI green. maybe it's a merge conflict? |
i think we don't need this anymore. closing, feel free to reopen if we do need it. |
Fix for failing CI on ethosu mypy sanity checks
@tqchen @mehrdadh