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 <[email protected]>
seL4 · Feb 29, 2024 · 750696d · 750696d
1 parent e3d1a28
commit 750696d
Showing 1 changed file with 10 additions and 5 deletions.
diff --git 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: