diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 696f29ff8d53c3a317686093e2fa9b34fc1f238d..eb0058f0e9dd2f70ce2d3ee609d58adc40c2485a 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: