Merge branch 'main' into vscode-webview-proxy

Author: fonsp

frontend/components/RunArea.js

@@ -69,7 +69,7 @@ const prettytime = (time_ns) => {
         i += 1
         result /= 1000
     }
-    const roundedtime = result.toFixed(time_ns < 10 || result >= 100.0 ? 0 : 1)
+    const roundedtime = result.toFixed(time_ns < 100 || result >= 100.0 ? 0 : 1)
 
     return roundedtime + "\xa0" + prefices[i] + "s"
 }

test/React.jl

@@ -177,6 +177,7 @@ import Distributed
         # and also that Pluto can figure out the execution order on its own
         @test all(noerror, notebook.cells)
 
+        WorkspaceManager.unmake_workspace((🍭, notebook))
         🍭.options.evaluation.workspace_use_distributed = false
     end
 
@@ -355,6 +356,7 @@ import Distributed
         @test notebook.cells[4] |> noerror
         @test notebook.cells[1].output.body == "\"double_december = 24\""
 
+        WorkspaceManager.unmake_workspace((🍭, notebook))
         🍭.options.evaluation.workspace_use_distributed = false
     end
 
@@ -376,6 +378,7 @@ import Distributed
         @test :conj ∈ notebook.topology.nodes[notebook.cells[1]].references
         @test notebook.cells[1].output.body == "200"
 
+        WorkspaceManager.unmake_workspace((🍭, notebook))
         🍭.options.evaluation.workspace_use_distributed = false
     end