lint scripts: Add typing and basic documentation

1 files changed, 9 insertions, 2 deletions

diff --git a/lint/summary.py b/lint/summary.py
index ca7445db..49126c61 100755
--- a/lint/summary.py
+++ b/lint/summary.py
@@ -17,7 +17,9 @@ import json
 import os
 import sys
 
-FAILED = {}
+from typing import Any, Dict
+
+FAILED: Dict[str, Any] = {}
 
 for lint in sorted(os.listdir()):
     if os.path.isdir(lint):
@@ -34,7 +36,12 @@ for lint in sorted(os.listdir()):
             record["log"] = log
             FAILED[lint] = record
 
-with open(os.path.join(os.environ.get("OUT"), "failures.json"), "w") as f:
+OUT = os.environ.get("OUT")
+if OUT is None:
+    print("Failed to get OUT")
+    sys.exit(1)
+
+with open(os.path.join(OUT, "failures.json"), "w") as f:
     json.dump(FAILED, f)
 
 failures = list(FAILED.keys())