[commit: ghc] master: gitlab-ci: Tag linter stage (4cb59c1)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/4cb59c19ffbda68283327fa2a3fc1232fb4cfd97/ghc

>---------------------------------------------------------------

commit 4cb59c19ffbda68283327fa2a3fc1232fb4cfd97
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Wed Dec 19 14:25:49 2018 -0500

    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.


>---------------------------------------------------------------

4cb59c19ffbda68283327fa2a3fc1232fb4cfd97
 .gitlab-ci.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 897047e..f6f6a93 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)