-
-
Notifications
You must be signed in to change notification settings - Fork 3.8k
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
remove bors and small CI improvements #7947
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Contributing.md mentions bors and needs to be updated too.
I think this should be marked as fixing #7824. Seems like we've made the move completely with this. |
check-unused-dependencies is failing. |
oh, a missing environment variable... fixed! |
Objective
Solution