diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-05-29 13:08:19 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-02 16:23:53 -0400 |
commit | de33143cb0e38a91bd866470d5d4da9e91ee79f3 (patch) | |
tree | f83bb1c340985de9a81e97c2b87a7a9ed5d9f79a /.gitlab-ci.yml | |
parent | 437a6ccd68f3ecda5b6a6caeac6b8c39b51815db (diff) | |
download | haskell-de33143cb0e38a91bd866470d5d4da9e91ee79f3.tar.gz |
Run both lint jobs together
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e9bdd7e6aa..9722ea0cb6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -365,7 +365,7 @@ hadrian-ghc-in-ghci: paths: - cabal-cache -lint-base: +lint-libs: extends: .lint-params variables: BUILD_FLAVOUR: default @@ -373,14 +373,6 @@ lint-base: - .gitlab/ci.sh setup - .gitlab/ci.sh configure - .gitlab/ci.sh run_hadrian lint:base - -lint-compiler: - extends: .lint-params - variables: - BUILD_FLAVOUR: default - script: - - .gitlab/ci.sh setup - - .gitlab/ci.sh configure - .gitlab/ci.sh run_hadrian lint:compiler ############################################################ |