Skip to content
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

Read DEFAULT_STATUS_FILE from environment variable #13692

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

christianbundy
Copy link
Contributor

Description

Fixes #13691

Test Plan

I think this may be trivial enough to skip formal testing, but happy to defer to the maintainers.

@github-actions
Copy link
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@AlexWaygood AlexWaygood added topic-daemon dmypy topic-configuration Configuration files and flags labels Sep 20, 2022
@JelleZijlstra
Copy link
Member

We should at least document it.

Also, are there many other places where mypy's behavior depends on env vars? I think it's more standard to use the config file.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic-configuration Configuration files and flags topic-daemon dmypy
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Change dmypy status file with config or environment variable
3 participants