Add more typings - Githubissues

jupyter-server / jupyter_server

The backend—i.e. core services, APIs, and REST endpoints—to Jupyter web applications.

https://jupyter-server.readthedocs.io

BSD 3-Clause "New" or "Revised" License

489 stars 308 forks source link

Closed blink1073 closed 1 year ago

blink1073 commented 1 year ago

Fix untyped utcfromtimestamp and handle "type-arg" and "no-any-return" codes.