Add scheduled CI job for testing with SPARK wavefront

Ref. eng/recordflux/RecordFlux#1456
AdaCore · Nov 13, 2023 · f03f276 · f03f276
1 parent 64e8ea2
commit f03f276
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -409,3 +409,20 @@ gnat_wave_compatibility:
     - *setup_python_venv
     - *setup_python
     - make test_compilation
+
+spark_wave_compatibility:
+  extends: .scheduled_job
+  rules:
+    - if: $CI_PIPELINE_SOURCE == "schedule" && $SCHEDULE == "spark-wave"
+  services:
+     - image:recordflux
+     - cpu:8
+     - mem:16
+  script:
+    - git fetch --unshallow
+    - anod install spark2014
+    - eval `anod printenv spark2014`
+    - gnatprove --version
+    - *setup_python
+    - make prove_tests
+    - make prove_python_tests