diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8968f1d721d01296a2463213c85d7d5dce6b73d3..d1b49643d0b39c0a5181be374f9f2d2e174f7fe8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -119,6 +119,13 @@ CFP:
   tags:
    - nix
 
+Linea-Cabs:
+  stage: tests
+  script:
+   - nix/frama-ci.sh build -A linea-cabs.tests
+  tags:
+   - nix
+
 eva-tests:
   stage: tests
   script:
diff --git a/nix/default.nix b/nix/default.nix
index d9f8349f5d7db3034a05fff70433d66e6ed7a9e5..6c86751e7bead1dc4fb86db8ac648680528ecd5c 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -329,6 +329,7 @@ pkgs.lib.makeExtensible
         security_src = plugins.security.src;
         context_from_precondition_src = plugins.context-from-precondition.src;
         metacsl_src = plugins.meta.src;
+        linea_cabs_src = plugins.linea-cabs.src;
         postPatch = ''
                patchShebangs .
         '';
@@ -350,6 +351,8 @@ pkgs.lib.makeExtensible
            echo IN_FRAMA_CI=yes > "$sourceRoot/in_frama_ci"
            cp -r --preserve=mode "$context_from_precondition_src" "$sourceRoot/src/plugins/context-from-precondition"
            chmod -R u+w -- "$sourceRoot/src/plugins/context-from-precondition"
+           cp -r --preserve=mode "$linea_cabs_src" "$sourceRoot/src/plugins/linea-cabs"
+           chmod -R u+w -- "$sourceRoot/src/plugins/linea-cabs"
            cp -r --preserve=mode "$security_src" "$sourceRoot/src/plugins/security"
            chmod -R u+w -- "$sourceRoot/src/plugins/security"
            '';