diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3e9bd165570253bd7a4cd7805139ee2504715049..cefddcd44e6c5347f8567c9f16666ffbf10642c6 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