update workflow

UQ-PAC · Jan 30, 2024 · a4c0ae6 · a4c0ae6
1 parent 23aaad0
commit a4c0ae6
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/.github/workflows/run-examples.yml b/.github/workflows/run-examples.yml
@@ -13,7 +13,6 @@ jobs:
     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 }}
@@ -23,13 +22,16 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Compile BASIL 
-        run: sbt assembly
+        run: mill compile 
 
       - name: Bitvec Tests
-        run: sbt "testOnly BitVectorAnalysisTests"
+        run: mill test.testOnly BitVectorAnalysisTests
+
+      - name: IntrusiveListTest
+        run: mill test.testOnly SystemTests IntrusiveListPublicInterfaceTests
 
       - name: System Tests
-        run: sbt "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"
+        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