From a01dfca047a18d439988f2ab03e593630e33bfcf Mon Sep 17 00:00:00 2001
From: Martin Pool <mbp@sourcefrog.net>
Date: Sun, 25 Feb 2024 12:03:44 -0800
Subject: [PATCH] Remove noisy thread_id from log

---
 src/lab.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/lab.rs b/src/lab.rs
index 265869ba..23f5155c 100644
--- a/src/lab.rs
+++ b/src/lab.rs
@@ -113,8 +113,6 @@ pub fn test_mutants(
         for build_dir in build_dirs {
             threads.push(scope.spawn(|| {
                 let build_dir = build_dir; // move it into this thread
-                let _thread_span =
-                    debug_span!("test thread", thread = ?thread::current().id()).entered();
                 trace!("start thread in {build_dir:?}");
                 loop {
                     // Not a while loop so that it only holds the lock briefly.