From b6682e84970d79f7e51687f32f8a74434a33ab3f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 20 Jul 2023 16:06:27 +0200
Subject: [PATCH] [ci] no Frama-C coverage from external plugins
---
.gitlab-ci.yml | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3e9bd165570..cefddcd44e6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -233,8 +233,7 @@ external-plugins:
- ./nix/external-plugin-ci.sh $PLUGIN
parallel:
matrix:
- - OUT: "_bisect"
- PLUGIN: [
+ - PLUGIN: [
"acsl-importer",
"caveat-importer",
"context-from-precondition",
@@ -248,7 +247,6 @@ external-plugins:
"security",
"volatile"
]
- <<: *coverage
################################################################################
### DISTRIB
--
GitLab