c_no_std binding to show use in C freestanding environments.
#151
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
| name: Rust | |
| on: | |
| push: | |
| branches: [ "main" ] | |
| pull_request: | |
| branches: [ "main" ] | |
| env: | |
| CARGO_TERM_COLOR: always | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Add musl target | |
| run: rustup target add x86_64-unknown-linux-musl | |
| - name: Add no_std target | |
| run: rustup target add thumbv7m-none-eabi | |
| - name: Install musl-gcc | |
| run: sudo apt update && sudo apt install -y musl-tools | |
| - name: Format Check | |
| run: cargo fmt --check | |
| - name: Build (all features) | |
| run: cargo build -r --all-features --verbose | |
| - name: Build | |
| run: cargo build -r --verbose | |
| - name: Build no_std | |
| run: cd tests/ensure_no_std && cargo build -r --target thumbv7m-none-eabi | |
| - name: Test no_std | |
| run: cargo test -r --no-default-features | |
| - name: Build only std | |
| run: cargo build -r --example regorus --no-default-features --features "std" | |
| - name: Doc Tests | |
| run: cargo test -r --doc | |
| - name: Run tests | |
| run: cargo test -r --verbose | |
| - name: Run tests (ACI) | |
| run: cargo test -r --test aci | |
| - name: Run tests (KATA) | |
| run: cargo test -r --test kata | |
| - name: Run tests (OPA Conformance) | |
| run: >- | |
| cargo test -r --test opa --features opa-testutil,serde_json/arbitrary_precision -- $(tr '\n' ' ' < tests/opa.passing) | |
| - name: Build (MUSL) | |
| run: cargo build --verbose --all-targets --target x86_64-unknown-linux-musl | |
| - name: Run tests (MUSL) | |
| run: cargo test -r --verbose --target x86_64-unknown-linux-musl | |
| - name: Run tests (MUSL ACI) | |
| run: cargo test -r --test aci --target x86_64-unknown-linux-musl | |
| - name: Run tests (KATA ACI) | |
| run: cargo test -r --test kata --target x86_64-unknown-linux-musl | |
| - name: Run tests (MUSL OPA Conformance) | |
| run: >- | |
| cargo test -r --test opa --features opa-testutil,serde_json/arbitrary_precision --target x86_64-unknown-linux-musl -- $(tr '\n' ' ' < tests/opa.passing) |