Skip to content

Commit

Permalink
Add type-requests to toml file.
Browse files Browse the repository at this point in the history
  • Loading branch information
mccleeary-galois committed Mar 19, 2024
1 parent 5bbc3dc commit 114b1d0
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 10 deletions.
18 changes: 9 additions & 9 deletions cryptol-remote-api/python/poetry.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 2 additions & 1 deletion cryptol-remote-api/python/pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -14,10 +14,11 @@ include = [

[tool.poetry.dependencies]
python = ">=3.8.0,<4"
requests = "^2.31.0"
requests = "<2.31.0.20240310"
BitVector = "^3.4.9"
argo-client = "0.0.11"
typing-extensions = "^4.1.1"
urllib3 = "<2.2.0"

[tool.poetry.dev-dependencies]
mypy = "^0.991"
Expand Down

0 comments on commit 114b1d0

Please sign in to comment.