summaryrefslogtreecommitdiff
path: root/lint/summary.py
diff options
context:
space:
mode:
Diffstat (limited to 'lint/summary.py')
-rwxr-xr-xlint/summary.py11
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())