diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-01-13 10:36:42 (GMT) |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-20 20:34:43 (GMT) |
| commit | 0c04a86af8bc04ee6f966a17381b88a297a54836 (patch) | |
| tree | fbc73811504b83fc77519349edf2c5b7c71f25d4 | |
| parent | b62b8cea0e19073133bf3b6757500d1723d02159 (diff) | |
| download | ghc-0c04a86af8bc04ee6f966a17381b88a297a54836.zip ghc-0c04a86af8bc04ee6f966a17381b88a297a54836.tar.gz ghc-0c04a86af8bc04ee6f966a17381b88a297a54836.tar.bz2 | |
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 7adf859..d364d49 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 |