Update .github/workflows/user_project_ci.yml
diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml
index fd56dd9..b88f7c5 100644
--- a/.github/workflows/user_project_ci.yml
+++ b/.github/workflows/user_project_ci.yml
@@ -142,24 +142,24 @@
 
       - name: Harden using Openlane
         run: |
-          make user_proj_example
+          make marmot
           make user_project_wrapper
 
-      - name: Run DV RTL tests
-        run: |
-          make verify-io_ports-rtl 
-          make verify-la_test1-rtl 
-          make verify-la_test2-rtl 
-          make verify-mprj_stimulus-rtl 
-          make verify-wb_port-rtl
+     #- name: Run DV RTL tests
+     #  run: |
+     #    make verify-io_ports-rtl 
+     #    make verify-la_test1-rtl 
+     #    make verify-la_test2-rtl 
+     #    make verify-mprj_stimulus-rtl 
+     #    make verify-wb_port-rtl
 
-      - name: Run DV GL tests
-        run: |
-          make verify-io_ports-gl 
-          make verify-la_test1-gl 
-          make verify-la_test2-gl 
-          make verify-mprj_stimulus-gl 
-          make verify-wb_port-gl
+     #- name: Run DV GL tests
+     #  run: |
+     #    make verify-io_ports-gl 
+     #    make verify-la_test1-gl 
+     #    make verify-la_test2-gl 
+     #    make verify-mprj_stimulus-gl 
+     #    make verify-wb_port-gl
 
   user_project_flow_sky130B:
     timeout-minutes: 720
@@ -204,21 +204,21 @@
 
       - name: Harden using Openlane
         run: |
-          make user_proj_example
+          make marmot
           make user_project_wrapper
 
-      - name: Run DV RTL tests
-        run: |
-          make verify-io_ports-rtl 
-          make verify-la_test1-rtl 
-          make verify-la_test2-rtl 
-          make verify-mprj_stimulus-rtl 
-          make verify-wb_port-rtl
+     #- name: Run DV RTL tests
+     #  run: |
+     #    make verify-io_ports-rtl 
+     #    make verify-la_test1-rtl 
+     #    make verify-la_test2-rtl 
+     #    make verify-mprj_stimulus-rtl 
+     #    make verify-wb_port-rtl
 
-      - name: Run DV GL tests
-        run: |
-          make verify-io_ports-gl 
-          make verify-la_test1-gl 
-          make verify-la_test2-gl 
-          make verify-mprj_stimulus-gl 
-          make verify-wb_port-gl
+     #- name: Run DV GL tests
+     #  run: |
+     #    make verify-io_ports-gl 
+     #    make verify-la_test1-gl 
+     #    make verify-la_test2-gl 
+     #    make verify-mprj_stimulus-gl 
+     #    make verify-wb_port-gl