(health: HealthCheckResult | null)
| 2517 | b("name", "=", String(ref.name)), |
| 2518 | ); |
| 2519 | const isToolSyncHealth = (health: HealthCheckResult | null): boolean => |
| 2520 | health?.detail?.startsWith(toolSyncHealthDetailPrefix) === true; |
| 2521 | const syncedSet = (row: ConnectionRow | null) => { |
| 2522 | const health = row ? Option.getOrNull(decodeLastHealth(row.last_health)) : null; |
| 2523 | return isToolSyncHealth(health) |