From d54861f3601f80f8d5ec5a7e42a2759936316fb6 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 5 Jul 2022 14:59:04 +0200
Subject: [PATCH] [ci] use parallel for eva domains
---
.gitlab-ci.yml | 34 ++++------------------------------
1 file changed, 4 insertions(+), 30 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dbf86ba1780..bc72b669565 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -102,8 +102,6 @@ e-acsl-tests:
script:
- ./nix/build-proxy.sh e-acsl-tests
-# EVA
-
.build_template: &eva_template
stage: tests
script:
@@ -114,35 +112,11 @@ eva-default-tests:
CONFIG: "default"
<<: *eva_template
-eva-bitwise-tests:
- variables:
- CONFIG: "bitwise"
- <<: *eva_template
-
-eva-equality-tests:
- variables:
- CONFIG: "equality"
- <<: *eva_template
-
-eva-gauges-tests:
- variables:
- CONFIG: "gauges"
- <<: *eva_template
-
-eva-multidim-tests:
- variables:
- CONFIG: "multidim"
- <<: *eva_template
-
-eva-octagon-tests:
- variables:
- CONFIG: "octagon"
- <<: *eva_template
-
-eva-symblocs-tests:
- variables:
- CONFIG: "symblocs"
+eva-domains:
<<: *eva_template
+ parallel:
+ matrix:
+ - CONFIG: ["bitwise","equality","gauges","multidim","octagon","symblocs"]
frama-clang:
stage: tests
--
GitLab