diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-06-12 11:11:31 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-06-14 23:10:08 -0400 |
| commit | 5c97211cf21d2eb99db1a5cf473a630ffe245064 (patch) | |
| tree | 4f11a211b2151b4b475674caa49ac0a19fd22750 /.gitlab-ci.yml | |
| parent | b5ea9323a3a39a005a41580228a4722131d417b2 (diff) | |
| download | haskell-5c97211cf21d2eb99db1a5cf473a630ffe245064.tar.gz | |
gitlab-ci: Lint the linters
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5d399d6f92..6eb9d655bf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -27,6 +27,7 @@ stages: - hackage # head.hackage testing - deploy # push documentation +# N.B.Don't run on wip/ branches, instead on run on merge requests. .only-default: &only-default only: - master @@ -70,7 +71,18 @@ ghc-linters: refs: - merge_requests +lint-linters: + <<: *only-default + stage: lint + image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV" + script: + - mypy .gitlab/linters/*.py + dependencies: [] + tags: + - lint + lint-testsuite: + <<: *only-default stage: lint image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb9:$DOCKER_REV" script: @@ -83,6 +95,7 @@ lint-testsuite: # accomodate, e.g., haddock changes not yet upstream) but not on `master` or # Marge jobs. .lint-submods: + <<: *only-default stage: lint image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV" script: @@ -127,6 +140,7 @@ lint-submods-branch: - /ghc-[0-9]+\.[0-9]+/ .lint-changelogs: + <<: *only-default stage: lint image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV" dependencies: [] |