From 885ee7dd7b0731abf9fac0e97f1427b6e55dac82 Mon Sep 17 00:00:00 2001
From: Julien Capellari <julien.capellari@neoxia.com>
Date: Fri, 24 Nov 2023 17:05:17 +0100
Subject: [PATCH] fix: build error

---
 src/ui/task-tree-stats.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ui/task-tree-stats.tsx b/src/ui/task-tree-stats.tsx
index 150e2b6f1..68773f47b 100644
--- a/src/ui/task-tree-stats.tsx
+++ b/src/ui/task-tree-stats.tsx
@@ -54,7 +54,7 @@ export default function TaskTreeStats({ manager }: TaskTreeStatsProps) {
   return (
     <Text>
       { (stats.running !== 0) && (
-        <><Spinner type="sand" /> <Text bold>{ stats.running }</Text> running</>
+        <><Spinner type={'sand' as 'dots'} /> <Text bold>{ stats.running }</Text> running</>
       ) }
       { (stats.running !== 0 && stats.done !== 0) && (<>, </>) }
       { (stats.done !== 0) && (