From 0b58274b22836e585a93eb2486c8cf3db05051f2 Mon Sep 17 00:00:00 2001
From: Lori Li <lori@kasahara.cs.waseda.ac.jp>
Date: Tue, 13 Dec 2022 17:41:59 +0900
Subject: [PATCH] Added CI checks

---
 .github/scripts/defaults.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/scripts/defaults.sh b/.github/scripts/defaults.sh
index bc4adfae..e2971ce6 100755
--- a/.github/scripts/defaults.sh
+++ b/.github/scripts/defaults.sh
@@ -71,3 +71,4 @@ mapping["testchipip"]="SUB_PROJECT=testchipip"
 
 mapping["arty"]="SUB_PROJECT=arty verilog"
 mapping["vcu118"]="SUB_PROJECT=vcu118 verilog"
+mapping["vc707"]="SUB_PROJECT=vc707 verilog"