diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index fdb6e4552e5696be1232bf2396bcb978597eda40..c8c73107bd0b9baaa14e1eb8150923e5c8e4f276 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -200,6 +200,7 @@ external-plugins: "genassigns", "linea-cabs", "meta", + "Minimal", "mthread", "security", "Volatile"