Merge branch 'topic/ci_gnatcheck_testsuite_jit' into 'master'

Enable runs of gnatcheck-testsuite in Java modes. See merge request eng/libadalang/langkit-query-language!73
AdaCore · Jul 18, 2023 · e92ee28 · e92ee28
2 parents f1d95ba + 0b49157
commit e92ee28
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitlab-ci.plan b/.gitlab-ci.plan
@@ -12,7 +12,10 @@ def lkql():
 def lkql_jit():
     install()
     anod_test("lkql", qualifier="implementation=jit")
+    # Abstain from testing GNATcheck in the JVM-based mode to help save the
+    # planet: the nightly runs suffice to show that the implementation works.
 
 def lkql_native_jit():
     install()
     anod_test("lkql", qualifier="implementation=native_jit")
+    anod_test("gnatcheck", qualifier="implementation=native_jit")