From c1ff075758281a843a683c31511c7d1cce990c66 Mon Sep 17 00:00:00 2001
From: Pierre-Marie de Rodat <derodat@adacore.com>
Date: Tue, 26 Sep 2023 15:38:52 +0200
Subject: [PATCH] CI: add MR issue checker

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 570aea18b..676679fa9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -51,6 +51,7 @@ build_and_test:
      - mem:16
   stage: single
   script:
+    - unset GITLAB_TOKEN; require_issue
     - !reference [.script_snippets, setup]
 
     # Download the langkit package