add debug.json

bittide · Jan 22, 2025 · 58f5bb1 · 58f5bb1
1 parent 1032ba5
commit 58f5bb1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/synthesis/debug.json b/.github/synthesis/debug.json
@@ -0,0 +1,5 @@
+[
+  {"top": "swCcTopologyTest",              "stage": "test"},
+  {"top": "vexRiscvTest",                  "stage": "test"},
+  {"top": "vexRiscvTcpTest",               "stage": "test"}
+]