From 5c10c299231e24d1f2b91da5618465aedd93cb16 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Fri, 22 Sep 2023 19:33:01 +0200 Subject: Pin the version of tools used in CI, have dependabot manage their version (#40066) --- .github/workflows/style/requirements.txt | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 .github/workflows/style/requirements.txt (limited to '.github/workflows/style') 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 -- cgit v1.2.3-70-g09d2