rm instrument-coverage

This commit is contained in:
Ivan Folgueira Bande 2025-10-06 23:33:11 +02:00
parent 20c1f89360
commit ffc754af9f
No known key found for this signature in database
GPG Key ID: 3C117481F89E24A7

View File

@ -29,7 +29,6 @@ jobs:
- name: Build with coverage
run: |
export RUSTFLAGS="-C instrument-coverage"
cargo clean
cargo build