gitlab-ci: Tag linter stage

Authored by bgamari on Dec 19 2018, 1:25 PM.

Description

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.

Details

Committed
bgamariDec 21 2018, 3:54 PM
Parents
rGHC6c5050874762: gitlab-ci: Fix Windows build
Branches
Unknown
Tags
Unknown