chore: Add python/typeshed to the workspace.

This contains requests, which helps mypy typecheck our code.
TokTok · Dec 30, 2024 · f34ff06 · f34ff06
1 parent e303fb9
commit f34ff06
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/WORKSPACE b/WORKSPACE
@@ -112,6 +112,14 @@ new_github_archive(
     version = "4.12.2",
 )
 
+# https://github.com/python/typeshed
+new_github_archive(
+    name = "typeshed",
+    integrity = "sha256-5xk4xOdabdwespPoOvc6ap1RrBkkTO8FpN3/HsW2f84=",
+    repo = "python/typeshed",
+    version = "ca6251ad64cf6747c61ed5a453d943264a106008",
+)
+
 # Fuzzing
 # =========================================================
 

diff --git a/third_party/BUILD.typeshed b/third_party/BUILD.typeshed
@@ -0,0 +1,13 @@
+load("@rules_python//python:defs.bzl", "py_library")
+
+py_library(
+    name = "requests",
+    data = glob(["stubs/requests/requests/*.pyi"]),
+    visibility = ["//visibility:public"],
+)
+
+filegroup(
+    name = "typeshed",
+    srcs = [":requests"],
+    visibility = ["//visibility:public"],
+)