diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0f54bad033530b3a48bbc86e9e541750c5ac9676..f828c1b025b7a41388d06ec4ecf2e32d7921f2af 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -151,6 +151,30 @@ CFP:
   tags:
    - nix
 
+build-tarball:
+  stage: tests
+  variables:
+    CURRENT: $CI_COMMIT_REF_NAME
+    DEFAULT: "master"
+    OCAML: "4_05"
+    FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
+  script:
+   - nix/frama-ci.sh build -A frama-c.distrib
+  tags:
+   - nix
+
+tarball-compilation:
+  stage: distrib_and_compatibility
+  variables:
+    CURRENT: $CI_COMMIT_REF_NAME
+    DEFAULT: "master"
+    OCAML: "4_05"
+    FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
+  script:
+   - nix/frama-ci.sh build -A frama-c.tests-distrib
+  tags:
+   - nix
+
 internal:
   stage: distrib_and_compatibility
   variables: