From 7838e901cb9461a3f92b68808eb2c21a11b6e9c2 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 21 Sep 2022 14:57:04 +0200
Subject: [PATCH] [ci] homogeneous case for Nix targets
---
.gitlab-ci.yml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c8c73107bd0..9e1b7d09742 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -193,17 +193,17 @@ external-plugins:
parallel:
matrix:
- PLUGIN: [
- "ACSL-importer",
- "Caveat-importer",
+ "acsl-importer",
+ "caveat-importer",
"context-from-precondition",
"frama-clang",
"genassigns",
"linea-cabs",
"meta",
- "Minimal",
+ "minimal",
"mthread",
"security",
- "Volatile"
+ "volatile"
]
################################################################################
--
GitLab