diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml
index d6c2635..9ac3a0e 100644
--- a/.github/workflows/user_project_ci.yml
+++ b/.github/workflows/user_project_ci.yml
@@ -155,13 +155,10 @@
 
       - name: Run DV RTL tests
         run: |
-          make verify-peripheralsGPIO-rtl
-          make verify-peripheralsUART-rtl
-          make verify-memory-rtl
-          make verify-video-rtl
-          make verify-corePC-rtl
+          make verify-all-rtl
         
       - name: Run DV GL tests
         run: |
           make verify-peripheralsGPIO-gl
           make verify-corePC-gl
+          make verify-coreArch-gl