gitlab-ci: Tag linter stage
authorBen Gamari <ben@smart-cactus.org>
Wed, 19 Dec 2018 19:25:49 +0000 (14:25 -0500)
committerBen Gamari <ben@smart-cactus.org>
Fri, 21 Dec 2018 21:54:40 +0000 (16:54 -0500)
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.

.gitlab-ci.yml

index 897047e..f6f6a93 100644 (file)
@@ -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)