remove tarpaulin

.github/workflows/rust.yml

@@ -21,10 +21,3 @@ jobs:
       run: cargo build --verbose
     - name: Run tests
       run: cargo test --verbose
-    - name: Run cargo-tarpaulin
-      uses: actions-rs/[email protected]
-      with:
-        version: '0.22.0'
-        args: --ignore-tests --engine llvm --exclude-files lib.rs main.rs mod.rs
-    - name: Upload coverage reports to Codecov with GitHub Action
-      uses: codecov/codecov-action@v3

README.md

@@ -1,5 +1,4 @@
 ![Rust](https://github.com/AlexandreDubray/schlandals/actions/workflows/rust.yml/badge.svg)
-[![codecov](https://codecov.io/gh/AlexandreDubray/schlandals/branch/main/graph/badge.svg?token=J4J2I9Q9KX)](https://codecov.io/gh/AlexandreDubray/schlandals)
 
 Schlandals is a state-of-the-art _Projected Weighted Model Counter_ specialized for probabilistic inference over discrete probability distributions.
 Currently, there are known modelization for the following problems