Fix unsoundness in definition of stack for spawning core1 #138
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: [push, pull_request] | |
| name: Check on-target-tests | |
| env: | |
| PACKAGE: on-target-tests | |
| jobs: | |
| build: | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: dtolnay/rust-toolchain@stable | |
| with: | |
| target: thumbv6m-none-eabi | |
| - name: Install cargo-hack | |
| run: | | |
| curl -sSL https://github.com/taiki-e/cargo-hack/releases/download/v0.6.17/cargo-hack-x86_64-unknown-linux-gnu.tar.gz | tar xvzf - -C ~/.cargo/bin | |
| - name: Build | |
| run: cd ${PACKAGE} && cargo hack build --optional-deps --each-feature | |
| udeps: | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: dtolnay/rust-toolchain@master | |
| with: | |
| toolchain: nightly-2024-01-30 | |
| target: thumbv6m-none-eabi | |
| - name: Install cargo-hack | |
| run: | | |
| curl -sSL https://github.com/taiki-e/cargo-hack/releases/download/v0.6.17/cargo-hack-x86_64-unknown-linux-gnu.tar.gz | tar xvzf - -C ~/.cargo/bin | |
| - name: Install cargo-udeps | |
| run: | | |
| curl -sSL https://github.com/est31/cargo-udeps/releases/download/v0.1.45/cargo-udeps-v0.1.45-x86_64-unknown-linux-gnu.tar.gz | tar xvzf - --strip-components=2 -C ~/.cargo/bin ./cargo-udeps-v0.1.45-x86_64-unknown-linux-gnu/cargo-udeps | |
| - name: Run cargo-udeps | |
| run: cd ${PACKAGE} && cargo hack udeps --optional-deps --each-feature | |
| msrv: | |
| name: Verify build on MSRV | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: dtolnay/rust-toolchain@master | |
| with: | |
| toolchain: 1.79 | |
| target: thumbv6m-none-eabi | |
| - name: Install cargo-hack | |
| run: | | |
| curl -sSL https://github.com/taiki-e/cargo-hack/releases/download/v0.6.17/cargo-hack-x86_64-unknown-linux-gnu.tar.gz | tar xvzf - -C ~/.cargo/bin | |
| - name: Build on-target-tests (on MSRV) | |
| run: cd ${PACKAGE} && cargo hack build --optional-deps --each-feature | |
| fmt: | |
| runs-on: ubuntu-20.04 | |
| env: | |
| RUSTFLAGS: "-D warnings" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: dtolnay/rust-toolchain@stable | |
| with: | |
| components: rustfmt | |
| - name: Check format | |
| run: cd ${PACKAGE} && cargo fmt -- --check | |
| clippy: | |
| runs-on: ubuntu-20.04 | |
| env: | |
| RUSTFLAGS: "-D warnings" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: dtolnay/rust-toolchain@stable | |
| with: | |
| target: thumbv6m-none-eabi | |
| components: clippy | |
| - name: Run cargo clippy | |
| run: cd ${PACKAGE} && cargo clippy |