diff options
| -rw-r--r-- | .gitlab-ci.yml | 6 | ||||
| -rw-r--r-- | .gitlab-ci.yml.in | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1f2410e862..43e963c51d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -34,6 +34,12 @@ check-gitlab-ci.yml: - make .gitlab-ci.yml - diff -u .gitlab-ci.yml.orig .gitlab-ci.yml +check-DEVELOPERS: + script: + - PYTHONPATH=$PWD/support/scripts + python -c 'from getdeveloperlib import parse_developers; parse_developers()' | + grep . && exit 1 + .defconfig: &defconfig # Running the defconfigs for every push is too much, so limit to # explicit triggers through the API. diff --git a/.gitlab-ci.yml.in b/.gitlab-ci.yml.in index 0f9cbcba33..0b6e634a4b 100644 --- a/.gitlab-ci.yml.in +++ b/.gitlab-ci.yml.in @@ -34,6 +34,12 @@ check-gitlab-ci.yml: - make .gitlab-ci.yml - diff -u .gitlab-ci.yml.orig .gitlab-ci.yml +check-DEVELOPERS: + script: + - PYTHONPATH=$PWD/support/scripts + python -c 'from getdeveloperlib import parse_developers; parse_developers()' | + grep . && exit 1 + .defconfig: &defconfig # Running the defconfigs for every push is too much, so limit to # explicit triggers through the API. |