Add Skipped status

static/style.css

@@ -422,6 +422,12 @@ body > .ui.page.dimmer {
   color: #78909C;
 }
 
+:not(.status_detail).status.skipped,
+.title:hover .status_detail.status.skipped,
+.title.active .status_detail.status.skipped {
+  color: #FF5722;
+}
+
 :not(.status_detail).status.compiling {
     color: #00b5ad;
 }

views/util.ejs

@@ -33,6 +33,7 @@ this.icon = {
   'System Error': 'server',
   'No Testdata': 'folder open outline',
   'Partially Correct': 'minus',
-  'Judgement Failed': 'ban'
+  'Judgement Failed': 'server',
+  'Skipped': 'ban'
 };
 %>