From 3e3576800bea818a1c00fadcd13337479fb84727 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jeremy@system76.com>
Date: Mon, 29 Oct 2018 20:01:54 -0600
Subject: [PATCH] Attempt to fix CI

---
 .gitlab-ci.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 696f29f..eb0058f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,12 +20,8 @@ before_script:
         software-properties-common \
         syslinux \
         syslinux-utils \
+        texinfo \
         wget &&
-    apt-key adv -q --batch --yes --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F &&
-    add-apt-repository 'deb https://static.redox-os.org/toolchain/apt ./' &&
-    apt-get update -qq &&
-    apt-get purge -qq binutils-doc &&
-    apt-get install -qq x86-64-unknown-redox-gcc &&
     curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain none
 
 img: