diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c8c73107bd0b9baaa14e1eb8150923e5c8e4f276..9e1b7d09742b2f7126feb6d1caef94326f401add 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" ] ################################################################################