' +
'
' + escapeHTML(workspace.display_name) + '' +
'
' +
- (workspace.healthy
- ? 'Healthy'
- : 'Checking') +
+ healthBadgeHTML(workspace) +
'' + safeState + '' +
createdMeta +
'
' +
diff --git a/internal/cloudcp/portal/frontend/src/styles.css b/internal/cloudcp/portal/frontend/src/styles.css
index d7cf5dbd4c..5ccbc6e80a 100644
--- a/internal/cloudcp/portal/frontend/src/styles.css
+++ b/internal/cloudcp/portal/frontend/src/styles.css
@@ -15,6 +15,7 @@
.badge-cloud { background: #dcfce7; color: #166534; }
.badge-individual { background: #dcfce7; color: #166534; }
.badge-healthy { background: #dcfce7; color: #166534; }
+ .badge-checking { background: #eff6ff; color: #1d4ed8; }
.badge-unhealthy { background: #fee2e2; color: #991b1b; }
.badge-active { background: #f0fdf4; color: #166534; border: 1px solid #bbf7d0; }
.badge-suspended { background: #fef9c3; color: #854d0e; border: 1px solid #fef08a; }
diff --git a/internal/cloudcp/portal/frontend/src/types.ts b/internal/cloudcp/portal/frontend/src/types.ts
index 9c8cbd5877..bf68fe4149 100644
--- a/internal/cloudcp/portal/frontend/src/types.ts
+++ b/internal/cloudcp/portal/frontend/src/types.ts
@@ -3,6 +3,8 @@ export interface PortalWorkspaceSummary {
display_name: string;
state: string;
healthy: boolean;
+ health_status: 'healthy' | 'checking' | 'unhealthy';
+ last_health_check?: string;
created_at?: string;
}
diff --git a/internal/cloudcp/portal/handlers_test.go b/internal/cloudcp/portal/handlers_test.go
index 7381cc4f39..48912aa2a7 100644
--- a/internal/cloudcp/portal/handlers_test.go
+++ b/internal/cloudcp/portal/handlers_test.go
@@ -829,6 +829,7 @@ func TestPortalPageTemplate_AccountServicesRendered(t *testing.T) {
}
func TestBuildPortalBootstrapJSON_Contract(t *testing.T) {
+ lastHealthCheck := time.Date(2026, 3, 27, 9, 0, 0, 0, time.UTC)
bootstrapJSON, err := MarshalBootstrapJSON(BuildBootstrapData(true, "owner@example.com", []portalPageAccount{
{
ID: "a_test",
@@ -840,10 +841,12 @@ func TestBuildPortalBootstrapJSON_Contract(t *testing.T) {
HasBilling: true,
Workspaces: []portalPageWorkspace{
{
- ID: "t_one",
- DisplayName: "Tenant One",
- State: "active",
- Healthy: true,
+ ID: "t_one",
+ DisplayName: "Tenant One",
+ State: "active",
+ Healthy: true,
+ HealthStatus: "healthy",
+ LastHealthCheck: &lastHealthCheck,
},
},
},
@@ -917,6 +920,12 @@ func TestBuildPortalBootstrapJSON_Contract(t *testing.T) {
if got := workspace["healthy"]; got != true {
t.Fatalf("workspace healthy = %#v", got)
}
+ if got := workspace["health_status"]; got != "healthy" {
+ t.Fatalf("workspace health_status = %#v, want healthy", got)
+ }
+ if got := workspace["last_health_check"]; got != "2026-03-27T09:00:00Z" {
+ t.Fatalf("workspace last_health_check = %#v, want 2026-03-27T09:00:00Z", got)
+ }
if got := workspace["created_at"]; got != "0001-01-01T00:00:00Z" {
t.Fatalf("workspace created_at = %#v", got)
}
diff --git a/internal/cloudcp/portal/page.go b/internal/cloudcp/portal/page.go
index a9ca67fbed..16a3494a1a 100644
--- a/internal/cloudcp/portal/page.go
+++ b/internal/cloudcp/portal/page.go
@@ -14,11 +14,13 @@ import (
// portalPageWorkspace holds per-workspace display data for the portal template.
type portalPageWorkspace struct {
- ID string
- DisplayName string
- State string
- Healthy bool
- CreatedAt time.Time
+ ID string
+ DisplayName string
+ State string
+ Healthy bool
+ HealthStatus string
+ LastHealthCheck *time.Time
+ CreatedAt time.Time
}
// portalPageAccount holds per-account display data including the user's role.
@@ -151,11 +153,13 @@ func loadPortalAccountsForUser(reg *registry.TenantRegistry, userID string) ([]p
continue
}
workspaces = append(workspaces, portalPageWorkspace{
- ID: t.ID,
- DisplayName: t.DisplayName,
- State: string(t.State),
- Healthy: t.HealthCheckOK,
- CreatedAt: t.CreatedAt,
+ ID: t.ID,
+ DisplayName: t.DisplayName,
+ State: string(t.State),
+ Healthy: t.HealthCheckOK,
+ HealthStatus: workspaceHealthStatus(t.HealthCheckOK, t.LastHealthCheck),
+ LastHealthCheck: t.LastHealthCheck,
+ CreatedAt: t.CreatedAt,
})
}
@@ -186,6 +190,16 @@ func loadPortalAccountsForUser(reg *registry.TenantRegistry, userID string) ([]p
return accounts, nil
}
+func workspaceHealthStatus(healthy bool, lastHealthCheck *time.Time) string {
+ if healthy {
+ return "healthy"
+ }
+ if lastHealthCheck == nil {
+ return "checking"
+ }
+ return "unhealthy"
+}
+
func renderPortalPage(w http.ResponseWriter, nonce string, bootstrapData BootstrapData) {
w.Header().Set("Content-Type", "text/html; charset=utf-8")
w.WriteHeader(http.StatusOK)