From 5fe5000e0ce0ba58c99be500f6adefddfe837bc2 Mon Sep 17 00:00:00 2001
From: Pierre-Marie de Rodat <derodat@adacore.com>
Date: Wed, 10 Jan 2024 10:32:10 +0100
Subject: [PATCH] CI: move require_issue to a dedicated job

---
 .gitlab-ci.yml             |  6 +++++-
 utils/gitlab-ci-common.yml | 14 ++++++++++++++
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1ad89553c..803750d1b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -32,7 +32,6 @@ build_and_test:
      - mem:16
   stage: single
   script:
-    - require_issue
     - !reference [.script_snippets, setup]
 
     # Download the langkit package
@@ -68,6 +67,11 @@ build_and_test:
       junit: xunit_output.xml
 
 
+check_issue:
+  extends: .check_issue
+  stage: single
+
+
 continuous_builder:
   extends: .cb
   stage: single
diff --git a/utils/gitlab-ci-common.yml b/utils/gitlab-ci-common.yml
index 0625f9bdd..29406886c 100644
--- a/utils/gitlab-ci-common.yml
+++ b/utils/gitlab-ci-common.yml
@@ -18,6 +18,20 @@
     - (cd /tmp && git clone --depth 1 $ANOD_GIT)
     - (cd /it/wave && anod tune --anod-dir /tmp/anod)
 
+.check_issue:
+  rules: # Launch only on merge requests
+    - if: $CI_PIPELINE_SOURCE == 'merge_request_event'
+  services:
+    - image:e3
+    - cpu:1
+  interruptible: true
+  needs: [] # Execute regardless of the other stages
+  variables:
+    GIT_STRATEGY: none # do not checkout the current repo, not needed
+  script:
+    - require_issue
+
+
 .cb:
   # Items to create continuous builders (CB).
   #