ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity

added gcov flag

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2021-12-16 20:05:42 +01:00 committed by GitHub
parent 2ee77a49de
commit 5c47956123
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/grcov.yml vendored
View File

@ -34,7 +34,7 @@ jobs:
args: --all
env:
CARGO_INCREMENTAL: 0
RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests"
RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests -Zinstrument-coverage"
# Note that `actions-rs/grcov` Action can install `grcov` too,
# but can't use faster installation methods yet.