Skip to content

Commit

Permalink
[workspace] Upgrade mypy_internal to latest commit
Browse files Browse the repository at this point in the history
Give up on the TODO for using mypy stable releases. Generally it looks
like we're going to need bleeding-edge features.
  • Loading branch information
jwnimmer-tri committed Oct 2, 2022
1 parent 33147ae commit 297081c
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions tools/workspace/mypy_internal/repository.bzl
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,8 @@ def mypy_internal_repository(
github_archive(
name = name,
repository = "python/mypy",
# TODO(mwoehlke-kitware): switch to a tag >= v0.980.
commit = "7c6faf4c7a7bac6b126a30c5c61f5d209a4312c0",
sha256 = "f0ab4a26f0f75fc345865b17e4c21f34f13b7d9220eab663e96116dd326b9e48", # noqa
commit = "f85dfa1b2533621094bc45b4263ea41fd3bc2e39",
sha256 = "68800395a9fbaba5494710d0a316eb1c7090cc5553ab53eb62219939e58a67fd", # noqa
build_file = ":package.BUILD.bazel",
mirrors = mirrors,
)

0 comments on commit 297081c

Please sign in to comment.