Commit 4cb59c19 authored by Ben Gamari's avatar Ben Gamari 🐢

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.
parent 6c505087
......@@ -12,6 +12,18 @@ stages:
- build
- 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)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment