update workflow

.github/workflows/run-examples.yml

@@ -28,11 +28,7 @@ jobs:
         run: ./scripts/mill test.testOnly BitVectorAnalysisTests
 
       - name: IntrusiveListTest
-        run: ./scripts/mill test.testOnly SystemTests IntrusiveListPublicInterfaceTests
+        run: ./scripts/mill test.testOnly IntrusiveListPublicInterfaceTests
 
       - name: System Tests
         run: ./scripts/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 
-
-
-
-

.github/workflows/run-systemtests.yml

@@ -0,0 +1,25 @@
+name: System Tests 
+on: 
+  push:
+    branches: 
+      - main
+  pull_request:
+    branches: 
+      - main
+  workflow_dispatch:
+jobs:
+  test:
+    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
+      credentials:
+        username: ${{ github.actor }}
+        password: ${{ secrets.github_token }}
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: System Tests
+        run: ./scripts/mill test.testOnly SystemTests && cat src/test/summary.csv >> "$GITHUB_OUTPUT" && echo "" >> "$GITHUB_OUTPUT" && src/test/testResults.csv >> "$GITHUB_OUTPUT"