diff options
| author | Moritz Angermann <moritz.angermann@gmail.com> | 2021-03-11 14:37:14 +0800 |
|---|---|---|
| committer | Moritz Angermann <moritz.angermann@gmail.com> | 2021-03-13 01:09:03 -0500 |
| commit | edc9f7d461840f0970b25ef05ef0cfc9452a3001 (patch) | |
| tree | 877c8beded06cfd388ceffbc84152535ac76e1b5 | |
| parent | 4fb704a50f15988fca35670de9b1958e34d12a84 (diff) | |
| download | haskell-edc9f7d461840f0970b25ef05ef0cfc9452a3001.tar.gz | |
Shorten the build pipeline
| -rw-r--r-- | .gitlab-ci.yml | 9 |
1 files changed, 3 insertions, 6 deletions
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 |