From 0dc5a74c5b1340ccfd85b7d61eed5cc68f886642 Mon Sep 17 00:00:00 2001
From: Xavier L'Heureux <xavier.lheureux@icloud.com>
Date: Mon, 22 Jul 2019 13:47:58 -0400
Subject: [PATCH] ci: Fix CI

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e2caf5af..99b37296 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,17 +22,24 @@ format:
 linux:
   image: 'rust:1.35.0'
   script:
-    - cargo build
+    - cargo check
     - FULL=1 make tests
 
 linux:stable:
   script:
-    - cargo build
+    - cargo check
     - TOOLCHAIN= make tests
 
 redox:
+  before_script:
+    - apt-get update -qq
+    - apt-get install -qq build-essential curl git
+    - git clone --single-branch --branch=extra-traits-redox --depth=1 https://github.com/AdminXVII/libc
+    - git clone --single-branch --branch=add-redox-support --depth=1 https://github.com/AdminXVII/nix
+    - mkdir .cargo
+    - echo 'paths = [ "libc", "nix" ]' >> .cargo/config
   script:
-    - redoxer build
+    - redoxer check
 
 pages:
   image: hrektts/mdbook
-- 
GitLab