Merge branch 'mr/pmderodat/ci-require-issue' into 'master'

CI: move require_issue to a dedicated job

See merge request eng/libadalang/libadalang!1504

.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

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).
   #