Add a check build of Redox using Rust nightly

.github/workflows/main.yml

@@ -71,6 +71,25 @@ jobs:
     - name: Run check
       run: cargo hack check --feature-powerset --all-targets --examples --bins --tests --target ${{ matrix.target }}
 
+  # Redox needs a nightly compiler for libc:
+  # https://github.com/rust-lang/libc/issues/2012
+  Check_Redox:
+    name: Check
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        target: ["x86_64-unknown-redox"]
+    steps:
+    - uses: actions/checkout@master
+    - name: Install Rust nightly
+      run: rustup update nightly && rustup default nightly
+    - name: Install cargo-hack
+      run: cargo install cargo-hack
+    - name: Install Target
+      run: rustup target add ${{ matrix.target }}
+    - name: Run check
+      run: cargo hack check --feature-powerset --all-targets --examples --bins --tests --target ${{ matrix.target }}
+
   Publish_docs:
     name: Publish Documentation
     runs-on: ubuntu-latest