Merge branch 'pmderodat/ci' into 'master'

CI: add MR issue checker See merge request eng/libadalang/libadalang!1425
AdaCore · Sep 26, 2023 · 539e510 · 539e510
2 parents a259892 + c1ff075
commit 539e510
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