diff options
Diffstat (limited to '.github/workflows/requirements')
| -rw-r--r-- | .github/workflows/requirements/coverage/requirements.txt | 1 | ||||
| -rw-r--r-- | .github/workflows/requirements/style/requirements.txt | 7 |
2 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/requirements/coverage/requirements.txt b/.github/workflows/requirements/coverage/requirements.txt new file mode 100644 index 0000000000..1bf0f9a76b --- /dev/null +++ b/.github/workflows/requirements/coverage/requirements.txt @@ -0,0 +1 @@ +coverage==7.6.1 diff --git a/.github/workflows/requirements/style/requirements.txt b/.github/workflows/requirements/style/requirements.txt new file mode 100644 index 0000000000..93ab7eaa7f --- /dev/null +++ b/.github/workflows/requirements/style/requirements.txt @@ -0,0 +1,7 @@ +black==24.10.0 +clingo==5.7.1 +flake8==7.1.1 +isort==5.13.2 +mypy==1.8.0 +types-six==1.16.21.20241105 +vermin==1.6.0 |