Update CI to use redoxer

4 jobs for master in 1 minute and 38 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #19650
build:linux

00:01:38

failed #19651
build:redox

00:01:06

 
  Test
skipped #19652
test:linux
skipped #19653
test:redox
 
Name Stage Failure
failed
build:redox Build
For more information about this error, try `rustc --explain E0412`.
error: Could not compile `libc`.

Caused by:
process didn't exit successfully: `rustc --crate-name libc /root/.cargo/registry/src/github.com-1ecc6299db9ec823/libc-0.2.60/src/lib.rs --color never --crate-type lib --emit=dep-info,link -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="std"' -C metadata=67fff6b1fdaef2ff -C extra-filename=-67fff6b1fdaef2ff --out-dir /builds/redox-os/users/target/x86_64-unknown-redox/debug/deps --target x86_64-unknown-redox -C linker=x86_64-unknown-redox-gcc -L dependency=/builds/redox-os/users/target/x86_64-unknown-redox/debug/deps -L dependency=/builds/redox-os/users/target/debug/deps --cap-lints allow -L /root/.redoxer/toolchain/x86_64-unknown-redox/lib --cfg libc_priv_mod_use --cfg libc_union --cfg libc_const_size_of --cfg libc_align --cfg libc_core_cvoid --cfg libc_packedN` (exit code: 1)
warning: build failed, waiting for other jobs to finish...
error: build failed
redoxer cargo: exit code: 101
ERROR: Job failed: exit code 1