diff options
| -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 ############################################################ |