Merge branch 'master' into dockerfile_bitmanip

kuznia-rdzeni · Mar 11, 2024 · 6e7742b · 6e7742b
2 parents ba05feb + 0487193
commit 6e7742b
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -263,6 +263,12 @@ jobs:
           . venv/bin/activate
           scripts/run_tests.py -a regression
 
+      - name: Check regression with pysim
+        run: |
+          . venv/bin/activate
+          ./scripts/run_tests.py -c 1 -a -b pysim regression
+
+
   unit-test:
     name: Run unit tests
     runs-on: ubuntu-latest
@@ -292,6 +298,9 @@ jobs:
       - name: Check traces and profiles
         run: ./scripts/run_tests.py -t -p -c 1 TestCore
 
+      - name: Check listing tests
+        run: ./scripts/run_tests.py -l
+
   lint:
     name: Check code formatting and typing
     runs-on: ubuntu-latest