render-summary: render skips correctly (#76)

Signed-off-by: William Woodruff <[email protected]>

harness/render-summary.py

@@ -3,8 +3,8 @@
 import argparse
 import json
 import os
-from pathlib import Path
 import sys
+from pathlib import Path
 
 # render-summary.py: take a `results.json` from a harness run and render
 # it as a GitHub Actions step summary, collating against `limbo.json`
@@ -16,9 +16,11 @@
 
 _RESULT_ROW = "| {testcase_id} | {status} | {expected} | {actual} | {context} |"
 
+
 def _render(s: str) -> None:
     print(f"{s}", file=_OUT)
 
+
 parser = argparse.ArgumentParser()
 parser.add_argument("limbo", type=Path)
 parser.add_argument("results", type=Path)
@@ -29,26 +31,30 @@ def _render(s: str) -> None:
 
 _render(f"## Limbo results for `{results["harness"]}`\n")
 
-_render("""
+_render(
+    """
 | Testcase | Status | Expected | Actual | Context |
 | -------- | ------ | -------- | ------ | ------- |"""
 )
 
 for result in results["results"]:
     testcase_id = result["id"]
     actual = result["actual_result"]
+
     context = result["context"]
-    if not context:
-        # Normalize missing context into an empty string.
-        context = ""
-    else:
-        context = f"`{context}`"
+    context = f"`{context}`" if context else ""
 
     testcase = next(t for t in limbo["testcases"] if t["id"] == testcase_id)
     expected = testcase["expected_result"]
     description = testcase["description"]
 
-    status = "✅" if expected == actual else "❌"
+    match (expected, actual):
+        case ("SUCCESS", "SUCCESS") | ("FAILURE", "FAILURE"):
+            status = "✅"
+        case (_, "SKIPPED"):
+            status = "🚧"
+        case _:
+            status = "❌"
 
     row = _RESULT_ROW.format(
         testcase_id=testcase_id,