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

Fix cache-convert #17974

Merged

hauntsaninja merged 1 commit into python:master from hauntsaninja:fix-cache-conv

Oct 16, 2024

Collaborator

hauntsaninja commented Oct 16, 2024

Tested via:

set -x
rm -rf .mypy_cache
time python -m mypy --config-file mypy_self_check.ini -p mypy
python misc/convert-cache.py --to-sqlite .mypy_cache/3.8
time python -m mypy --config-file mypy_self_check.ini -p mypy --sqlite-cache
time python -m mypy --config-file mypy_self_check.ini -p mypy --sqlite-cache


          Fix cache-convert

b3e6f68

hauntsaninja mentioned this pull request

Use orjson instead of json, when available #17955

Merged

Contributor

github-actions bot commented Oct 16, 2024

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

hauntsaninja merged commit 6728848 into python:master

17 checks passed

hauntsaninja deleted the fix-cache-conv branch

October 16, 2024 21:21

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

Labels

None yet