diff options
Diffstat (limited to '.github/workflows')
| -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 c8eef64b40..caa2a1d85c 100644 --- a/.github/workflows/style/requirements.txt +++ b/.github/workflows/style/requirements.txt @@ -1,5 +1,5 @@ black==24.2.0 -clingo==5.6.2 +clingo==5.7.1 flake8==7.0.0 isort==5.13.2 mypy==1.8.0 |