Skip to content

Merge remote-tracking branch 'upstream/main' into nm/merge-latest-upd… #131

Merge remote-tracking branch 'upstream/main' into nm/merge-latest-upd…

Merge remote-tracking branch 'upstream/main' into nm/merge-latest-upd… #131

Workflow file for this run

name: test coverage
on:
- push
jobs:
check:
name: coverage
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
submodules: true
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly
- uses: Swatinem/rust-cache@v2
- name: Run profiling tests
run: cargo test --no-fail-fast -p openmls
env:
CARGO_INCREMENTAL: '0'
RUSTFLAGS: '-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Cpanic=abort -Zpanic_abort_tests'
RUSTDOCFLAGS: '-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Cpanic=abort -Zpanic_abort_tests'
LIBCRUX_DISABLE_SIMD256: '1'
- name: Run grcov
id: coverage
uses: actions-rs/[email protected]
- name: Upload to codecov.io
uses: codecov/codecov-action@v4
with:
token: ${{ secrets.CODECOV_TOKEN }}
files: ${{ steps.coverage.outputs.report }}