diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bf23ee36cd213945ac06ad6a539487ee884f923b..b78cac9fc6890eb8a8d3041ff17ff770cfb61862 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -93,15 +93,6 @@ volatile:
   tags:
    - nix
 
-E-ACSL:
-  stage: tests
-  variables:
-    OCAML: "4_05"
-  script:
-   - nix/frama-ci.sh build -A e-acsl.tests
-  tags:
-   - nix
-
 Security:
   stage: tests
   variables: