diff --git a/frontend/packages/dashboard/src/core.html b/frontend/packages/dashboard/src/core.html index 6fade074..118afcf9 100644 --- a/frontend/packages/dashboard/src/core.html +++ b/frontend/packages/dashboard/src/core.html @@ -71,13 +71,19 @@ - +

kept state from previously tombstoned agents — recreating an agent with the same name reuses it.

loading…

+