mutants: skip windows.rs and console.rs

sourcefrog · Nov 24, 2024 · c48a90e · c48a90e
1 parent 37c4af2
commit c48a90e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.cargo/mutants.toml b/.cargo/mutants.toml
@@ -1,5 +1,5 @@
 # cargo-mutants configuration
 
 error_values = ["::anyhow::anyhow!(\"mutated!\")"]
-exclude_globs = ["src/console.rs"]
+exclude_globs = ["src/console.rs"] # done in the source
 profile = "mutants"                                # Build without debug symbols
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -197,7 +197,7 @@ jobs:
         run: >
           cargo mutants --no-shuffle -vV --in-diff git.diff
           --test-tool=${{matrix.test_tool}} --timeout=500 --build-timeout=500
-          --exclude=windows.rs
+          --exclude=windows.rs --exclude=console.rs
       - name: Archive mutants.out
         uses: actions/upload-artifact@v4
         if: always()
@@ -236,6 +236,7 @@ jobs:
           cargo mutants --no-shuffle -vV --shard ${{ matrix.shard }}/10
           --test-tool ${{ matrix.test_tool }} --baseline=skip --timeout=500
           --build-timeout=500 --in-place --exclude=windows.rs
+          --exclude=console.rs
       - name: Archive mutants.out
         uses: actions/upload-artifact@v4
         if: always()