Update user_project_ci.yml
Fix bad testbench name in workflow
diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml
index b09bda5..3d7af05 100644
--- a/.github/workflows/user_project_ci.yml
+++ b/.github/workflows/user_project_ci.yml
@@ -140,9 +140,9 @@
run: |
make verify-step_motor_controller-rtl
- - name: Run DV RTL test -> string_led_controller_tb
+ - name: Run DV RTL test -> string_led_controller
run: |
- make verify-string_led_controller_tb-rtl
+ make verify-string_led_controller-rtl
- name: Run DV GL test -> pseudorandom
run: |
@@ -156,7 +156,7 @@
run: |
make verify-step_motor_controller-gl
- - name: Run DV GL test -> string_led_controller_tb
+ - name: Run DV GL test -> string_led_controller
run: |
- make verify-string_led_controller_tb-gl
+ make verify-string_led_controller-gl