From 82af63b8b425e111e8cd726acab2a5360e23ce95 Mon Sep 17 00:00:00 2001
From: shuxueshuxue <lexicalmathical@gmail.com>
Date: Tue, 7 Apr 2026 13:32:41 +0800
Subject: [PATCH] chore: remove dead resource type re-export

---
 frontend/app/src/pages/resources/SandboxDetailSheet.tsx | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/frontend/app/src/pages/resources/SandboxDetailSheet.tsx b/frontend/app/src/pages/resources/SandboxDetailSheet.tsx
index 7fe17120c..71d795102 100644
--- a/frontend/app/src/pages/resources/SandboxDetailSheet.tsx
+++ b/frontend/app/src/pages/resources/SandboxDetailSheet.tsx
@@ -9,7 +9,7 @@ import { ScrollArea } from "@/components/ui/scroll-area";
 import { Tooltip, TooltipTrigger, TooltipContent } from "@/components/ui/tooltip";
 import { SandboxFileBrowser } from "@/components/SandboxFileBrowser";
 import type { LeaseGroup } from "./session-list-utils";
-import type { ResourceSession, SessionMetrics } from "./types";
+import type { ResourceSession } from "./types";
 import { calculateDuration, formatDuration } from "./utils/duration";
 import { formatMetric } from "./utils/format";
 
@@ -181,6 +181,3 @@ function MetricBlock({
     </div>
   );
 }
-
-// Re-export for consumers that only need the type
-export type { SessionMetrics };