Merge pull request #1644 from GaloisInc/rem/iss-1643

Add types-requests to toml file.
GaloisInc · Mar 19, 2024 · c62c653 · c62c653
2 parents 5bbc3dc + 33212f4
commit c62c653
Show file tree

Hide file tree

Showing 2 changed files with 30 additions and 10 deletions.
diff --git a/cryptol-remote-api/python/poetry.lock b/cryptol-remote-api/python/poetry.lock
diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml
@@ -14,11 +14,17 @@ include = [
 
 [tool.poetry.dependencies]
 python = ">=3.8.0,<4"
-requests = "^2.31.0"
 BitVector = "^3.4.9"
 argo-client = "0.0.11"
 typing-extensions = "^4.1.1"
 
+# cryptol does not directly depend on these but mypy does depend on these.
+# These not being locked caused CI to fail due to these updating automatically, see https://github.com/GaloisInc/cryptol/issues/1643.
+# We will want to unlock these at some point, see https://github.com/GaloisInc/cryptol/issues/1645.
+requests = "<2.31.0.20240310"
+urllib3 = "<2.2.0"
+types-requests = "<2.31.0.20240310"
+
 [tool.poetry.dev-dependencies]
 mypy = "^0.991"