Pin the version of tools used in CI, have dependabot manage their version (#40066)

This commit is contained in:
Massimiliano Culpo
2023-09-22 19:33:01 +02:00
committed by GitHub
parent daf95227bf
commit 5c10c29923
3 changed files with 20 additions and 7 deletions

View File

@@ -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