From 578e3c7c740dd10e119e6d61bed5bd19da4382d3 Mon Sep 17 00:00:00 2001
From: Vadim Godunko <godunko@adacore.com>
Date: Mon, 8 Jul 2024 12:31:01 +0400
Subject: [PATCH] Add issue-check CI

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d036830c..f7018694 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -88,6 +88,22 @@ stages:
   - build_dependent
   - run_downstream_ci
 
+###############
+# ISSUE CHECK #
+###############
+
+issue-check:
+  services:
+    - image:e3
+  stage: build_and_test
+  interruptible: true  # Cancel job if the branch is pushed
+  variables: # do not checkout the git repository, not needed
+    GIT_STRATEGY: none
+  rules: # Launch only on merge requests
+    - if: $CI_PIPELINE_SOURCE == 'merge_request_event'
+  script:
+    - require_issue # launch the verification
+
 #########
 # BUILD #
 #########