message: Add Redox to GitLab CI
diff: @@ -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
  