From 25c0c781d0d5d5ed677a6c0ab7348ef569a21650 Mon Sep 17 00:00:00 2001 From: Kevin Reid Date: Thu, 5 Oct 2023 11:09:26 -0700 Subject: [PATCH] `no_std` CI build --- .github/workflows/ci.yml | 24 +++++++++++++++++++++++- 1 file changed, 23 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5cc26612c..7902d9c1f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -253,7 +253,29 @@ jobs: - name: Run Miri tests, no_std run: | cargo +nightly miri test --no-default-features -p all-is-cubes universe:: - + + no_std: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v3.1.0 + + # The build is faster *without* this cache. + # - uses: Swatinem/rust-cache@v2.0.2 + + - name: Install Rust toolchain + run: | + rustup toolchain install stable --profile minimal + rustup target add thumbv7em-none-eabihf + + - name: no_std build + run: | + cargo check --no-default-features -p all-is-cubes --target thumbv7em-none-eabihf + + - name: no_std lint + run: | + cargo clippy --no-default-features -p all-is-cubes --target thumbv7em-none-eabihf + fuzz: # Don't spend time on fuzzing if the build failed indicating the code is bad other ways needs: build