From 0553e931212b9888fba900246b63455307085df2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=A1s=20Alvarez?= <nicolas.alvarez@gmail.com>
Date: Sat, 9 Apr 2022 14:56:47 -0300
Subject: [PATCH] CI: Tag custom Ubuntu and Clazy jobs as 'Linux'

This makes them run on the faster CI servers that normally run linux.yml.
There are also 3 servers so this brings better parallelism.

Not all custom jobs are suitable to run there, but these in particular
should be fine.
---
 .gitlab-ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c4f4020ab..94101b0fb 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,6 +10,8 @@ include:
 build_ubuntu_20_04:
   stage: build
   image: ubuntu:focal
+  tags:
+    - Linux
   only:
     - merge_requests
   before_script:
@@ -26,6 +28,8 @@ build_ubuntu_20_04:
 build_clazy_clang_tidy:
   stage: build
   image: debian:unstable
+  tags:
+    - Linux
   only:
     - merge_requests
   before_script: