diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 87fc74e561fd61dbba87223b8e7b6c40dcf4be18..dde4b50639f35da775be73d6948808e164526141 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,12 +5,13 @@ variables:
 
 stages:
   - compile
+  - binary
 #  - regression
 
 cache:
   paths:
   - "HOL4/"
-  
+
 compile-coq:
   stage: compile
   script: ./scripts/ci-coq.sh
@@ -22,9 +23,14 @@ compile-coq:
 compile-hol:
   stage: compile
   script: ./scripts/ci-hol4.sh
+
+- build-binaries:
+  stage: binary
+  script: ./scripts/ci-binary.sh
   artifacts:
     paths:
-    - hol4/binary/
+    - hol4/binary
+    - coq/binary
 
 # regression-tests:
 #  stage: regression