From edc9f7d461840f0970b25ef05ef0cfc9452a3001 Mon Sep 17 00:00:00 2001 From: Moritz Angermann Date: Thu, 11 Mar 2021 14:37:14 +0800 Subject: Shorten the build pipeline --- .gitlab-ci.yml | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to '.gitlab-ci.yml') diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d91e3b8f76..db8ee7f011 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -39,8 +39,6 @@ variables: stages: - tool-lint # Source linting of the tools - quick-build # A very quick smoke-test to weed out broken commits - - lint # Source linting of GHC - - build # A quick smoke-test to weed out broken commits - full-build # Build all the things - packaging # Source distribution, etc. - testing # head.hackage correctness and compiler performance testing @@ -263,7 +261,7 @@ lint-release-changelogs: # works (by invoking `hadrian --version`). stack-hadrian-build: extends: .validate-linux-hadrian - stage: build + stage: quick-build script: - .gitlab/ci.sh setup - .gitlab/ci.sh configure @@ -271,8 +269,7 @@ stack-hadrian-build: validate-x86_64-linux-deb9-hadrian: extends: .validate-linux-hadrian - needs: [hadrian-ghc-in-ghci] - stage: build + stage: quick-build validate-x86_64-linux-deb9-unreg-hadrian: extends: .validate-linux-hadrian @@ -340,7 +337,7 @@ hadrian-ghc-in-ghci: ############################################################ .lint-params: - stage: lint + stage: quick-build needs: [lint-submods] tags: - lint -- cgit v1.2.1