Skip to content

add methods to consume Bytes as Packed... things #6

add methods to consume Bytes as Packed... things

add methods to consume Bytes as Packed... things #6

Workflow file for this run

name: Rust
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
env:
CARGO_TERM_COLOR: always
RUSTFLAGS: -C target-cpu=native
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: model-checking/kani-github-action@v1
- name: Build
run: cargo build --verbose --all-features
- name: Run tests
run: cargo test --verbose --all-features
- name: Run Verification
run: cargo kani --verbose --all-features