From 750696daf350c98d2550be6bbad98c3896be4e91 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Wed, 28 Feb 2024 21:29:19 +0100
Subject: [PATCH] dashboard: add config for new repos and workflows

- config for new rust and microkit repos
- exclude PR workflows that have been added in the meantime

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 dashboard/gen-dashboard.py | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/dashboard/gen-dashboard.py b/dashboard/gen-dashboard.py
index 71ce789b..06d096f9 100755
--- a/dashboard/gen-dashboard.py
+++ b/dashboard/gen-dashboard.py
@@ -32,18 +32,21 @@
     "util_libs": ["sel4test-hw.yml"],
     "seL4_tools": ["sel4test-hw.yml"],
     "graph-refine": ["decompiler.yml", "graph-refine.yml"],
-    "seL4-CAmkES-L4v-dockerfiles": ["linter.yml"],
+    "seL4-CAmkES-L4v-dockerfiles": ["linter.yml", "docker-build.yml"],
     "rumprun-sel4-demoapps": ["test.yml"],
     "docs": ["pages-build-deployment"],
-    "ci-actions": ["test.yml"],
+    "ci-actions": ["test.yml", "sel4bench-hw.yml", "sel4test-hw.yml", "sel4test-sim.yml"],
     "camkes-vm": ["test.yml"],
-    "camkes-vm-examples": ["test.yml"],
+    "camkes-vm-examples": ["test.yml", "test-hw.yml"],
     "camkes-tool": ["cli.yml", "vm-test.yml", "test.yml"],
     "camkes": ["test.yml", "vm-test.yml"],
-    "l4v": ["aarch64.yml"],
+    "l4v": ["aarch64.yml", "proof.yml"],
     "sel4bench": ["sel4bench-pr.yml"],
+    "sel4bench-manifest": ["sel4bench-pr.yml"],
     "seL4": ["kernel-compile.yml", "syscall_xml_lint.yml", "sel4test-sim.yml",
-             "sel4test-hw.yml", "proof.yml"],
+             "sel4test-hw.yml", "proof.yml", "sel4bench-pr.yml"],
+    "sel4test": ["sel4test-hw.yml"],
+    "sel4webserver": ["test.yml"],
 }
 
 # Repos that should be listed first:
@@ -55,6 +58,8 @@
     "camkes-vm-examples",
     "capdl",
     "sel4-tutorials",
+    "microkit",
+    "rust-sel4",
 ]
 
 # URL of the seL4 org on GitHub: