Merge branch 'master' of https://github.com/JulienOury/ChristmasTreeController

.github/workflows/user_project_ci.yml

diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml
index eedff4b..8fef4e9 100644
--- a/.github/workflows/user_project_ci.yml
+++ b/.github/workflows/user_project_ci.yml
@@ -128,11 +128,19 @@
           make user_proj_example
           make user_project_wrapper
 
-      - name: Run DV RTL tests
+      - name: Run DV RTL test -> pseudorandom
+        run: |
+          make verify-pseudorandom-rtl 
+
+      - name: Run DV RTL test -> nec_ir_receiver
         run: |
           make verify-nec_ir_receiver-rtl 
 
-      - name: Run DV GL tests
+      - name: Run DV GL test -> pseudorandom
+        run: |
+          make verify-pseudorandom-gl 
+
+      - name: Run DV GL test -> nec_ir_receiver
         run: |
           make verify-nec_ir_receiver-gl