Skip to content

Fix unchecked index for Robdd allocator #260

Fix unchecked index for Robdd allocator

Fix unchecked index for Robdd allocator #260

Workflow file for this run

# directly taken from: https://github.com/taiki-e/cargo-llvm-cov
name: Coverage
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
coverage:
runs-on: ubuntu-latest
env:
CARGO_TERM_COLOR: always
steps:
- uses: actions/checkout@v3
# nightly is required for --doctests
- name: Install Rust (nightly)
run: rustup update nightly
- name: Install cargo-llvm-cov
uses: taiki-e/install-action@cargo-llvm-cov
- name: Generate code coverage
run: cargo +nightly llvm-cov --all-features --workspace --codecov --doctests --output-path codecov.json
- name: Upload coverage to Codecov
uses: codecov/codecov-action@v3
with:
token: ${{ secrets.CODECOV_TOKEN }}
files: codecov.json
fail_ci_if_error: true