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.

Sign up for GitHub

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

Jump to bottom

Include py.typed file #766

Merged

davidbrochart merged 2 commits into jupyter:main from blink1073:add-py-typed

Apr 7, 2022

Contributor

blink1073 commented Apr 7, 2022

cf https://peps.python.org/pep-0561/

cf jupyter-server/jupyter_server#779


          include py.typed file

732d631

blink1073 added the maintenance label

blink1073 mentioned this pull request

Add mypy check jupyter-server/jupyter_server#779

Merged


          add file

e9f9bee

davidbrochart merged commit 01b2095 into jupyter:main

Member

davidbrochart commented Apr 7, 2022

Thanks!

blink1073 deleted the add-py-typed branch

April 7, 2022 08:08

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels