-
Notifications
You must be signed in to change notification settings - Fork 8
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
MSR method for Banzhaf #520
Conversation
@mdbenito @AnesBenmerzoug Any idea about the CI error? I don't think this is my fault. Have you seen that one before? |
It's this: squidfunk/mkdocs-material#6983 I propose to just disable the plugin in this PR, since it's breaking all builds anyway, and to open a new issue to handle the situation / see how it develops over there. plugins:
- social:
enabled: false |
@jakobkruse1 Please remove all warnings and irrelevant outputs (e.g. supress warnings, clean progress bars) before committing the notebook. PS: I assigned myself to the PR. Our convention is assignee == merger, and merger is an additional reviewer. |
Still working on finishing the notebook. Should be done soonish. |
5abf4af
to
7140215
Compare
Notebook is running, I will push everything once it is done. Then we can merge today. |
Description
This PR closes #519
Changes
Checklist
"tags": ["hide"]
or"tags": ["hide-input"]