From 35c26913ec3c0205fd1d9c3946ec0abcb50e3a4c Mon Sep 17 00:00:00 2001
From: Thomas de Zeeuw <thomasdezeeuw@gmail.com>
Date: Tue, 29 Dec 2020 12:14:51 +0100
Subject: [PATCH] Add a check build of Redox using Rust nightly

---
 .github/workflows/main.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 6a2d3c30..bf7ff3fe 100644
--- a/.github/workflows/main.yml
+++ b/.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