action: fix SystemTests and upload csv files (#223)

Fix tests in github action

.github/workflows/run-examples.yml

@@ -10,7 +10,6 @@ on:
 jobs:
   CompileAndTest:
     runs-on: ubuntu-latest
-    timeout-minutes: 10 
     container:
       # Requires repo to have action access in package settings
       image: ghcr.io/uq-pac/basil-dev:latest
@@ -28,14 +27,13 @@ jobs:
         run: ./mill test.testOnly BitVectorAnalysisTests
 
       - name: IntrusiveListTest
-        run: ./mill test.testOnly IntrusiveListPublicInterfaceTests
+        run: ./mill test.testOnly '*IntrusiveListPublicInterfaceTest'
 
       - name: System Tests
         run: ./mill test.testOnly *SystemTests -- -z basic_assign_increment/gcc_no_plt_no_pic -z basic_assign_increment/clang_no_plt_no_pic -z secret_write/gcc_no_plt_no_pic
 
   SystemTests:
     runs-on: ubuntu-latest
-    timeout-minutes: 10 
     container:
       # Requires repo to have action access in package settings
       image: ghcr.io/uq-pac/basil-dev:latest
@@ -47,4 +45,11 @@ jobs:
         uses: actions/checkout@v4
 
       - name: System Tests
-        run: ./mill test.testOnly SystemTests || true
+        run: ./mill test.testOnly '*SystemTests*' || true
+
+      - uses: actions/upload-artifact@v4
+        with:
+          name: testresult-${{ github.run_number }}
+          path: src/test/*.csv
+
+      - run: tail -n+1 src/test/summary-*.csv