chore(fuzz): refresh the committed minimized corpus #1021
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
| # no_std gate for the proving lane (decision 4, docs/RESTRUCTURE-PLAN.md). | |
| # A carved successor replaces its predecessor in the -p list. | |
| name: no_std | |
| on: | |
| pull_request: | |
| merge_group: | |
| push: | |
| branches: [main] | |
| env: | |
| CARGO_TERM_COLOR: always | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} | |
| cancel-in-progress: true | |
| jobs: | |
| check: | |
| name: no_std / ${{ matrix.target }} | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 30 | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| target: | |
| - riscv64imac-unknown-none-elf | |
| - wasm32-unknown-unknown | |
| steps: | |
| - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | |
| - uses: ./.github/actions/rust-setup | |
| with: | |
| targets: ${{ matrix.target }} | |
| - name: Check proving-lane crates without std | |
| run: | | |
| # nectar-primitives-core: the chunk proofs a guest verifies. | |
| # nectar-postage-primitives: the stamp data a guest verifies. | |
| # nectar-spec: the network identity those proofs key on. | |
| # nectar-proof: the authentication seam those proofs replay on. | |
| # nectar-marker: the bounds crate the other two name. | |
| cargo check --locked \ | |
| -p nectar-primitives-core \ | |
| -p nectar-postage-primitives -p nectar-spec -p nectar-proof \ | |
| -p nectar-marker \ | |
| --no-default-features \ | |
| --target ${{ matrix.target }} | |
| # unsync: the !Send store's host shape, the rv64 lane standing in for the guest target. | |
| - name: Check the unsync send escape | |
| if: matrix.target == 'riscv64imac-unknown-none-elf' | |
| run: | | |
| cargo check --locked -p nectar-primitives --features unsync | |
| cargo check --locked -p nectar-primitives-core --features unsync | |
| # The native no_std quadrant must fail with the store guard diagnostic. | |
| - name: Guard the native no_std quadrant | |
| if: matrix.target == 'riscv64imac-unknown-none-elf' | |
| run: | | |
| if cargo check --locked -p nectar-primitives \ | |
| --no-default-features 2>guard.err; then | |
| echo "the native no_std quadrant must be rejected by the store guard" >&2 | |
| exit 1 | |
| fi | |
| grep -q "unsync feature" guard.err | |
| nostd-success: | |
| name: no_std success | |
| runs-on: ubuntu-latest | |
| if: always() | |
| needs: [check] | |
| timeout-minutes: 30 | |
| steps: | |
| - name: Decide whether the needed jobs succeeded or failed | |
| uses: re-actors/alls-green@05ac9388f0aebcb5727afa17fcccfecd6f8ec5fe # v1.2.2 | |
| with: | |
| jobs: ${{ toJSON(needs) }} |