From f794cdd582fb47ef9089a91f09a4585742497f95 Mon Sep 17 00:00:00 2001 From: Alex Waygood Date: Sat, 31 Dec 2022 19:01:54 +0000 Subject: [PATCH] Use `--additional-flags='check-untyped-defs'` when running mypy_primer (#9433) --- .github/workflows/mypy_primer.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/mypy_primer.yml b/.github/workflows/mypy_primer.yml index e0b8cdec7..a167e18f3 100644 --- a/.github/workflows/mypy_primer.yml +++ b/.github/workflows/mypy_primer.yml @@ -52,6 +52,7 @@ jobs: --new v${MYPY_VERSION} --old v${MYPY_VERSION} \ --custom-typeshed-repo typeshed_to_test \ --new-typeshed $GITHUB_SHA --old-typeshed upstream_main \ + --additional-flags="--check-untyped-defs" \ --num-shards 4 --shard-index ${{ matrix.shard-index }} \ --debug \ --output concise \