From ffc754af9f790a1a031b166a231d3c2a074bd0f1 Mon Sep 17 00:00:00 2001 From: Ivan Folgueira Bande Date: Mon, 6 Oct 2025 23:33:11 +0200 Subject: [PATCH] rm instrument-coverage --- .github/workflows/codecov.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/codecov.yml b/.github/workflows/codecov.yml index b0f1a7d..7867058 100644 --- a/.github/workflows/codecov.yml +++ b/.github/workflows/codecov.yml @@ -29,7 +29,6 @@ jobs: - name: Build with coverage run: | - export RUSTFLAGS="-C instrument-coverage" cargo clean cargo build