Merge branch 'pmderodat/ci' into 'master'

pmderodat · pmderodat · commit 694c2b902d23 · 2023-09-26T14:25:57.000Z
CI: add MR issue checker

See merge request eng/libadalang/langkit!935
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -44,6 +44,7 @@ langkit_build:
      - mem:16
   stage: stage1
   script:
+    - unset GITLAB_TOKEN; require_issue
     - !reference [.script_snippets, setup]
 
     - cd /it/wave
