diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-01-13 05:36:42 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-20 15:34:43 -0500 |
commit | 0c04a86af8bc04ee6f966a17381b88a297a54836 (patch) | |
tree | fbc73811504b83fc77519349edf2c5b7c71f25d4 | |
parent | b62b8cea0e19073133bf3b6757500d1723d02159 (diff) | |
download | haskell-0c04a86af8bc04ee6f966a17381b88a297a54836.tar.gz |
gitlab-ci: Reenable submodule linter
-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 |