diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2019-08-17 17:16:10 +0100 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2019-08-17 17:16:10 +0100 |
| commit | e8a18b5c000c0386b57efa46eaa94522ccbd41dc (patch) | |
| tree | 132b258b79c3a046eb11915ef20acd34e05a8fed | |
| parent | 1c541c349d56d8a7de870f573f24cfd705c56622 (diff) | |
| download | haskell-e8a18b5c000c0386b57efa46eaa94522ccbd41dc.tar.gz | |
Disable linting
| -rw-r--r-- | .gitlab-ci.yml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7050e024da..e6cd440253 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -51,25 +51,6 @@ stages: # Linting ############################################################ -ghc-linters: - stage: lint - image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV" - script: - - git fetch "$CI_MERGE_REQUEST_PROJECT_URL" $CI_MERGE_REQUEST_TARGET_BRANCH_NAME - - base="$(git merge-base FETCH_HEAD $CI_COMMIT_SHA)" - - "echo Linting changes between $base..$CI_COMMIT_SHA" - # - validate-commit-msg .git $(git rev-list $base..$CI_COMMIT_SHA) - - validate-whitespace .git $(git rev-list $base..$CI_COMMIT_SHA) - - .gitlab/linters/check-makefiles.py $base $CI_COMMIT_SHA - - .gitlab/linters/check-cpp.py $base $CI_COMMIT_SHA - - .gitlab/linters/check-version-number.sh - dependencies: [] - tags: - - lint - only: - refs: - - merge_requests - # Run mypy Python typechecker on linter scripts. lint-linters: <<: *only-default |