diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-08-27 13:27:59 +0200 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-08-29 07:03:42 +0200 |
commit | fafdb7df34507eee735893aa871da6ae529e6372 (patch) | |
tree | 950d37198b2416c208cedaa1bfefbc0308de42da /ci | |
parent | faf17df7fb88590d936d10c471a9ea6a2ce4454d (diff) |
lint: Speed up flake8 checks
Previously they may have taken more than 10 seconds. Now they should
finish in less than one second.
This also allows to drop one dependency to be installed.
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/lint/04_install.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh index acec2f32e9..cfdb4ea936 100755 --- a/ci/lint/04_install.sh +++ b/ci/lint/04_install.sh @@ -49,7 +49,6 @@ fi ${CI_RETRY_EXE} pip3 install \ codespell==2.2.6 \ - flake8==6.1.0 \ lief==0.13.2 \ mypy==1.4.1 \ pyzmq==25.1.0 \ |