diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index d7b66ca0f..7b11b89a1 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -31,7 +31,7 @@ jobs:
         run: cargo run --bin constraint-evaluation-generator
 
       - name: Collect coverage data
-        run: cargo llvm-cov nextest --lcov --output-path lcov.info
+        run: cargo llvm-cov nextest --lcov --output-path lcov.info --features integration-tests
 
       - name: Upload coverage to coveralls.io
         uses: coverallsapp/github-action@v2
diff --git a/triton-tui/tests/tests.rs b/triton-tui/tests/tests.rs
index f9aa85fb6..6ef0c7ef7 100644
--- a/triton-tui/tests/tests.rs
+++ b/triton-tui/tests/tests.rs
@@ -1,6 +1,5 @@
-//! Integration tests for the triton-tui binary. Currently ignored for two reasons:
-//! 1. They break code-coverage tool `cargo-tarpaulin`.
-//! 2. The crate `rexpect` does not compile on Windows.
+//! Integration tests for the triton-tui binary. Feature-gated because the crate `rexpect` does not
+//! compile on Windows.
 
 #[cfg(test)]
 #[cfg(feature = "integration-tests")]