From b196e54d6469a90c04bcc026451e8dd6bb2e5cd4 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 21 Sep 2022 11:32:48 +0200
Subject: [PATCH] [ci] add the minimal plugin to the CI
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fdb6e4552e5..c8c73107bd0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -200,6 +200,7 @@ external-plugins:
"genassigns",
"linea-cabs",
"meta",
+ "Minimal",
"mthread",
"security",
"Volatile"
--
GitLab