diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 62ab42cc06..209fd62220 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -59,7 +59,7 @@ jobs:
         run: RUSTDOCFLAGS="-Dwarnings" ./miri doc --document-private-items
 
   coverage:
-    name: Coverage report
+    name: coverage report
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
diff --git a/miri-script/src/coverage.rs b/miri-script/src/coverage.rs
index ae1e59dd92..8cafcea0d1 100644
--- a/miri-script/src/coverage.rs
+++ b/miri-script/src/coverage.rs
@@ -50,7 +50,7 @@ impl CoverageReport {
     /// show_coverage_report will print coverage information using the artifact
     /// files in `self.path`.
     pub fn show_coverage_report(&self, e: &MiriEnv) -> Result<()> {
-        let profraw_files: Vec<_> = self.profraw_files()?;
+        let profraw_files = self.profraw_files()?;
 
         let profdata_bin = path!(e.libdir / ".." / "bin" / "llvm-profdata");