You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Current breaking change was on update from
types-requests-2.31.0.20240310 this successful log to types-requests-2.31.0.20240311 failing log
We need to freeze these dependencies in some way, there is some information here for requirementes.txt which we do not use directly but the information here should be helpful regardless. python/mypy#10600 (comment)
The text was updated successfully, but these errors were encountered:
CI is currently broken due to a dependency update from
mypy --install-types
This is needed due to GaloisInc/argo#195 (comment)
https://github.com/GaloisInc/cryptol/actions/runs/8324626968/job/22777200617
Current breaking change was on update from
types-requests-2.31.0.20240310 this successful log to types-requests-2.31.0.20240311 failing log
We need to freeze these dependencies in some way, there is some information here for requirementes.txt which we do not use directly but the information here should be helpful regardless. python/mypy#10600 (comment)
The text was updated successfully, but these errors were encountered: