Happy review

2026-10-15 20:07:36 -07:00
parent ccd55afe13
commit 35368242e3
14 changed files with 312 additions and 191 deletions
@@ -40,6 +40,8 @@ function stateText(r: Review): string {
      return reviewCounts(r);
    case "failed":
      return "failed";
+    case "skipped":
+      return "skipped: no changes";
  }
 }