chore: tweak profiles, rename debug-fast to profiling (#9051)

This commit is contained in:
DaniPopes
2024-06-24 15:20:06 +02:00
committed by GitHub
parent 42bbafff2c
commit 07def85cda
8 changed files with 20 additions and 17 deletions

View File

@ -464,7 +464,7 @@ impl TaskExecutor {
error!("{task_error}");
let _ = panicked_tasks_tx.send(task_error);
})
.map(|_| ())
.map(drop)
.in_current_span();
self.handle.spawn(task)
@ -513,7 +513,7 @@ impl TaskExecutor {
error!("{task_error}");
let _ = panicked_tasks_tx.send(task_error);
})
.map(|_| ())
.map(drop)
.in_current_span();
self.handle.spawn(task)