diff options
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7adf859081..d364d49ee8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -124,8 +124,7 @@ typecheck-testsuite: - base="$(git merge-base FETCH_HEAD $CI_COMMIT_SHA)" - "echo Linting submodule changes between $base..$CI_COMMIT_SHA" - git submodule foreach git remote update - # TODO: Fix submodule linter - - submodchecker . $(git rev-list $base..$CI_COMMIT_SHA) || true + - submodchecker . $(git rev-list $base..$CI_COMMIT_SHA) dependencies: [] tags: - lint |