diff options
Diffstat (limited to '.github/workflows/style')
| -rw-r--r-- | .github/workflows/style/requirements.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/workflows/style/requirements.txt b/.github/workflows/style/requirements.txt new file mode 100644 index 0000000000..73b3620723 --- /dev/null +++ b/.github/workflows/style/requirements.txt @@ -0,0 +1,7 @@ +black==23.1.0 +clingo==5.6.2 +flake8==6.1.0 +isort==5.12.0 +mypy==1.5.0 +types-six==1.16.21.9 +vermin==1.5.2 |