app-platform: type manifest launch interfaces

This commit is contained in:
archipelago
2026-06-11 00:52:16 -04:00
parent 755ba5562d
commit 881478a873
12 changed files with 253 additions and 26 deletions
+4
View File
@@ -68,6 +68,10 @@ def manifest_launch_port(app: dict[str, Any]) -> int | None:
if isinstance(port, str) and port.isdigit():
return int(port)
health_check = app.get("health_check")
if not isinstance(health_check, dict) or str(health_check.get("type", "")).lower() != "http":
return None
ports = app.get("ports")
if not isinstance(ports, list):
return None