From 19822e6d4656577ea92cb219985e9f82fc4dae82 Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@mpi-sws.org>
Date: Fri, 24 Aug 2018 09:20:56 +0200
Subject: [PATCH] Update gitlab ci config to run the binary phase

---
 .gitlab-ci.yml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 87fc74e..dde4b50 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
-- 
GitLab