docs: scale README logo to 50% width #1348
This file contains hidden or 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: RAPx CI | |
| on: | |
| push: | |
| pull_request: | |
| env: | |
| CARGO_TERM_COLOR: always | |
| jobs: | |
| latest: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Setup toolchain | |
| run: | | |
| rustup toolchain install nightly --profile minimal | |
| rustup component add rustc-dev rust-src llvm-tools-preview rustfmt --toolchain nightly | |
| rustup override set nightly | |
| rustc --version | |
| - name: Build | |
| run: ./install.sh | |
| - name: Test | |
| run: cd rapx && cargo test | |
| asterinas: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Setup toolchain | |
| run: | | |
| rustup toolchain install nightly-2026-04-03 --profile minimal | |
| rustup component add rustc-dev rust-src llvm-tools-preview rustfmt --toolchain nightly-2026-04-03 | |
| rustup override set nightly-2026-04-03 | |
| rustc --version | |
| - name: Build | |
| run: ./install.sh | |
| - name: Test | |
| run: cd rapx && cargo test | |
| verify-std: | |
| runs-on: ubuntu-22.04 | |
| continue-on-error: true | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Setup toolchain | |
| run: | | |
| rustup toolchain install nightly-2025-11-25 --profile minimal | |
| rustup component add rustc-dev rust-src llvm-tools-preview rustfmt --toolchain nightly-2025-11-25 | |
| rustup override set nightly-2025-11-25 | |
| rustc --version | |
| - name: Build | |
| run: ./install.sh | |
| - name: Test | |
| run: cd rapx && cargo test | |
| - name: Verify core::slice against rapx-verify-rust-std | |
| run: | | |
| git clone https://github.com/safer-rust/rapx-verify-rust-std.git | |
| cd rapx-verify-rust-std | |
| export RUSTUP_TOOLCHAIN=$(rustup show active-toolchain | cut -d ' ' -f 1) | |
| export RAPX_SYSROOT=$(rustc --print sysroot) | |
| export LD_LIBRARY_PATH="$RAPX_SYSROOT/lib" | |
| export RUSTFLAGS="--cfg=rapx -Zcrate-attr=feature(register_tool) -Zcrate-attr=register_tool(rapx)" | |
| export __CARGO_TESTS_ONLY_SRC_ROOT="$(pwd)/library" | |
| cd library/core | |
| cargo +$RUSTUP_TOOLCHAIN rapx verify --module slice --mode targeted 2>&1 | tee /tmp/rapx-verify-output.txt | |
| - name: Check SOUND count | |
| run: | | |
| SOUND_COUNT=$(grep -c 'result: SOUND' /tmp/rapx-verify-output.txt || true) | |
| echo "SOUND results: $SOUND_COUNT" | |
| if [ "$SOUND_COUNT" -ne 38 ]; then | |
| echo "Expected 38 SOUND results, got $SOUND_COUNT" | |
| exit 1 | |
| fi |