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"