diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-11-10 15:21:22 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-11-17 06:48:16 -0500 |
| commit | e8da1354f0d0cac7b152cff9673f78e5156d4c0c (patch) | |
| tree | 3d3a9f40d73fa1f9a235d075340a64825c6def24 | |
| parent | c2991f16cb6f5b4e7cff46a394dda4247d973f44 (diff) | |
| download | haskell-e8da1354f0d0cac7b152cff9673f78e5156d4c0c.tar.gz | |
gitlab-ci: Fix submodule linter
We ran it against the .git directory despite the fact that the linter
wants to be run against the repository.
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8099941053..56c81ab963 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -118,7 +118,7 @@ typecheck-testsuite: - "echo Linting submodule changes between $base..$CI_COMMIT_SHA" - git submodule foreach git remote update # TODO: Fix submodule linter - - submodchecker .git $(git rev-list $base..$CI_COMMIT_SHA) || true + - submodchecker . $(git rev-list $base..$CI_COMMIT_SHA) || true dependencies: [] tags: - lint @@ -148,7 +148,7 @@ lint-submods-branch: script: - "echo Linting submodule changes between $CI_COMMIT_BEFORE_SHA..$CI_COMMIT_SHA" - git submodule foreach git remote update - - submodchecker .git $(git rev-list $CI_COMMIT_BEFORE_SHA..$CI_COMMIT_SHA) + - submodchecker . $(git rev-list $CI_COMMIT_BEFORE_SHA..$CI_COMMIT_SHA) only: refs: - master |