From e9036f2f125124b889ad33c1375e3a8cff3bed53 Mon Sep 17 00:00:00 2001
From: Ansgar Burchardt <ansgar.burchardt@tu-dresden.de>
Date: Fri, 9 Sep 2022 15:07:41 +0200
Subject: [PATCH] .gitlab-ci.yml: add "duneci" tag to spellcheck

The shared runner might not pick up the job otherwise.
---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b3bbba5e7..90528eea2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -62,6 +62,7 @@ system-test:
 # Check for spelling mistakes in text
 code-spelling-check:
   stage: .pre
+  tags: [duneci]
   image: registry.dune-project.org/docker/ci/debian:11
   script:
   - codespell
-- 
GitLab