Closed blink1073 closed 1 year ago
cf https://github.com/jupyter-server/jupyter_server/pull/1114
Once again mypy wasn't even running on pre-commit...
cf https://github.com/jupyter-server/jupyter_server/pull/1114
Once again mypy wasn't even running on pre-commit...