diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-12-19 14:25:49 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-21 16:54:40 -0500 |
| commit | 4cb59c19ffbda68283327fa2a3fc1232fb4cfd97 (patch) | |
| tree | b98d928daf1e6a7d377feb86fc47525799401a78 /.gitlab-ci.yml | |
| parent | 6c5050874762c2f8da44b3bafd67f236832b2030 (diff) | |
| download | haskell-4cb59c19ffbda68283327fa2a3fc1232fb4cfd97.tar.gz | |
gitlab-ci: Tag linter stage
Previously the linters were tagged with x86_64-linux, meaning that linting jobs
would often get stuck behind builds in the queue. Given that linting jobs are
fairly low-cost they hold up later build stages it is important that we reduce
this latency.
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 897047e0f0..f6f6a93cd2 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -13,6 +13,18 @@ stages: - full-build ############################################################ +# Tags +############################################################ +# +# * x86_64-linux: Any Docker-capable x86_64 Linux machine +# * aarch64-linux: Any Docker-capable AArch64 Linux machine +# * x86_64-windows: A x86_64 Windows machine +# * lint: Any Docker-capable x86_64 Linux machine; distinct from +# x86_64-linux to ensure low-latency availability. +# + + +############################################################ # Linting ############################################################ @@ -29,6 +41,8 @@ ghc-linters: .gitlab/linters/check-makefiles.py $base $CI_COMMIT_SHA .gitlab/linters/check-cpp.py $base $CI_COMMIT_SHA fi + tags: + - lint ############################################################ # Validation via Pipelines (hadrian) |