From 3f9da22cae9a70854c6cbb2a9dae7ce9f6ce4e60 Mon Sep 17 00:00:00 2001 From: AlexWaygood Date: Sat, 31 Dec 2022 14:26:21 +0000 Subject: [PATCH] Use `--additional-flags='check-untyped-defs'` when running mypy_primer --- .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 e0b8cdec753b..a167e18f3d6e 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 \