-
Notifications
You must be signed in to change notification settings - Fork 472
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
Add initial GitHub workflows #43
Add initial GitHub workflows #43
Conversation
This relies on #42 for automatic |
This looks good to me though I'm really not familiar with setting up github actions. Do you mind removing the torch-typing errors with the fix you noted in discord? |
I've removed the "undefined name" check in the build workflow. CC @cat-state if they think we should add |
If we think |
Is this good to merge? |
I think let's do mypy on a subsequent one cus we'll have type errors and annotations to fix |
Le'ts merge. I'm currently unfamiliar with |
This PR adds initial GitHub workflows for building, testing, and checking for code quality.