CI: add MR issue checker

AdaCore · Sep 26, 2023 · c1ff075 · c1ff075
1 parent a259892
commit c1ff075
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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