Explorar o código

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

Too many issues and very tricky to test the change.
Romain %!s(int64=5) %!d(string=hai) anos
pai
achega
5616dba057
Modificáronse 1 ficheiros con 1 adicións e 1 borrados
  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