Use SPARK Pro 24.2 in CI

Ref. eng/recordflux/RecordFlux#1825
AdaCore · Nov 25, 2024 · fb08253 · fb08253
1 parent a8f88c5
commit fb08253
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -447,7 +447,7 @@ verification_tests:
     - security_group:GitLabRunnerTasksExecDefaultSG
   parallel:
     matrix:
-      - SPARK_VERSION: "24.0"
+      - SPARK_VERSION: "24.2"
         SPARK_BUILD_DATE: "all"
       - SPARK_VERSION: "25.0"
         SPARK_BUILD_DATE: "all"
@@ -469,7 +469,7 @@ verification_python_tests:
     - security_group:GitLabRunnerTasksExecDefaultSG
   parallel:
     matrix:
-      - SPARK_VERSION: "24.0"
+      - SPARK_VERSION: "24.2"
         SPARK_BUILD_DATE: "all"
       - SPARK_VERSION: "25.0"
         SPARK_BUILD_DATE: "all"

diff --git a/tests/feature/fsm_comprehension_on_message_field/config.yml b/tests/feature/fsm_comprehension_on_message_field/config.yml
@@ -10,3 +10,4 @@ sequence: |
   Read Channel: 4 0 2 1 1
   State: Reply
 proof:
+  timeout: 180