Improve organization of CI workflow scripts and pip requirements (#45037)

This commit is contained in:
Alec Scott
2024-07-09 04:46:09 +02:00
committed by GitHub
parent b19c4cdcf6
commit 7c5fbee327
13 changed files with 14 additions and 22 deletions

View File

@@ -0,0 +1,7 @@
black==24.4.2
clingo==5.7.1
flake8==7.1.0
isort==5.13.2
mypy==1.8.0
types-six==1.16.21.20240513
vermin==1.6.0