diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/style/requirements.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/style/requirements.txt b/.github/workflows/style/requirements.txt index a6602ddcfd..4e0b152b74 100644 --- a/.github/workflows/style/requirements.txt +++ b/.github/workflows/style/requirements.txt @@ -3,5 +3,5 @@ clingo==5.7.1 flake8==7.0.0 isort==5.13.2 mypy==1.8.0 -types-six==1.16.21.9 +types-six==1.16.21.20240513 vermin==1.6.0 |