Pārlūkot izejas kodu

[ci] Skip wsgiserver.py from the CI (#1244)

Too many issues and very tricky to test the change.
Romain 5 gadi atpakaļ
vecāks
revīzija
5616dba057
1 mainītis faili ar 1 papildinājumiem un 1 dzēšanām
  1. 1 1
      tools/ci/check_for_python_lint.sh

+ 1 - 1
tools/ci/check_for_python_lint.sh

@@ -20,7 +20,7 @@
 HOME=${1:-"."}
 FOUND_ISSUE=-1
 
-files=`git diff --name-only origin/master --diff-filter=b | egrep .py$ | grep -v /ext-py/`
+files=`git diff --name-only origin/master --diff-filter=b | egrep .py$ | grep -v /ext-py/ | grep -v wsgiserver.py`
 
 cd $HOME