Add issue-check CI

AdaCore · Jul 8, 2024 · 578e3c7 · 578e3c7
1 parent c1b975a
commit 578e3c7
Showing 1 changed file with 16 additions and 0 deletions.
diff --git 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 #
 #########