(health: HealthCheckResult | null)
| 2094 | b("name", "=", String(ref.name)), |
| 2095 | ); |
| 2096 | const isToolSyncHealth = (health: HealthCheckResult | null): boolean => |
| 2097 | health?.detail?.startsWith(toolSyncHealthDetailPrefix) === true; |
| 2098 | const syncedSet = (row: ConnectionRow | null) => { |
| 2099 | const health = row ? Option.getOrNull(decodeLastHealth(row.last_health)) : null; |
| 2100 | return isToolSyncHealth(health) |