From af2f4f9d8485c2c627adc6f508bc2cdaa8e8ba93 Mon Sep 17 00:00:00 2001 From: Alexandre Dubray Date: Wed, 16 Oct 2024 17:30:34 +0200 Subject: [PATCH] remove tarpaulin --- .github/workflows/rust.yml | 7 ------- README.md | 1 - 2 files changed, 8 deletions(-) diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 3e46d19..387a8e4 100644 --- a/.github/workflows/rust.yml +++ b/.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/tarpaulin@v0.1 - 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 diff --git a/README.md b/README.md index 926ddf5..809fea2 100644 --- a/README.md +++ b/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