commit 1d03f86829184c53e870b707cc0816d16e10b807
author Charlie <charlie.david.smith@hotmail.co.uk> Fri Jun 03 16:06:15 2022 +0100
committer Charlie <charlie.david.smith@hotmail.co.uk> Fri Jun 03 16:06:15 2022 +0100
tree 4704110c8615e70feddf6bb74d836a05f5d3bb3b
parent 4d8e1f2e54b9750e545215782be3ac9ff8c0938d

Updated GitHub workflow so that it will run all rtl tests, and also added the coreArch gl test.

.github/workflows/user_project_ci.yml

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