Add Redox to GitLab CI

.gitlab-ci.yml

@@ -4,7 +4,22 @@ before_script:
   - curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain nightly
   - source "$HOME/.cargo/env"
 
-nightly:
+linux-nightly:
   script:
     - cargo build
     - make tests
+
+redox-nightly:
+  variables:
+    CC: "x86_64-unknown-redox-gcc"
+  before_script:
+    - apt-get update -qq
+    - apt-get install -qq build-essential curl git gnupg software-properties-common
+    - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F
+    - add-apt-repository 'deb https://static.redox-os.org/toolchain/apt /'
+    - apt-get update -qq && apt-get install -qq x86-64-unknown-redox-gcc
+    - curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain nightly
+    - source "$HOME/.cargo/env"
+    - rustup target add x86_64-unknown-redox
+  script:
+    - cargo build --target x86_64-unknown-redox