fix: build error

Jujulego · Nov 24, 2023 · 885ee7d · 885ee7d
1 parent aa94bc0
commit 885ee7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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) && (