diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 99e167029..bf9d89790 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -18,12 +18,9 @@ jobs: components: rustc, rust-std, cargo, llvm-tools, llvm-tools-preview - uses: Swatinem/rust-cache@v2 - name: Run profiling tests - run: | - mkdir -p ./target/debug/coverage - cargo test --no-fail-fast -p openmls + run: cargo test --no-fail-fast -p openmls env: CARGO_INCREMENTAL: '0' - LLVM_PROFILE_FILE: 'target/debug/coverage/openmls-%p-%m.profraw' RUSTFLAGS: '-Cinstrument-coverage -Cpanic=abort -Zpanic_abort_tests' RUSTDOCFLAGS: '-Cinstrument-coverage -Cpanic=abort -Zpanic_abort_tests -Z unstable-options --persist-doctests target/debug/' LIBCRUX_DISABLE_SIMD256: '1'