From de52cff7a2069d1a6a2f352179aa2b9b4d70b623 Mon Sep 17 00:00:00 2001
From: rina <k@rina.fyi>
Date: Mon, 13 Jan 2025 14:19:32 +1000
Subject: [PATCH] ci: omit some tests, run tests sequentially

addressing review comment https://github.com/UQ-PAC/BASIL/pull/294#discussion_r1896190229
---
 .github/workflows/run-examples.yml | 36 ++++++++++++++++++++++++++++--
 1 file changed, 34 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/run-examples.yml b/.github/workflows/run-examples.yml
index 54e2ee2a1..d4a903bcf 100644
--- a/.github/workflows/run-examples.yml
+++ b/.github/workflows/run-examples.yml
@@ -75,14 +75,46 @@ jobs:
   UnitTests:
     runs-on: ubuntu-latest
     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:
       - uses: actions/checkout@v4
+      - run: ./mill compile
 
         # every text except SystemTests:
         # ./mill test.testOnly '*' -- -t '' | tr -d ':' | ansi2txt | grep -vE '^SystemTests' 
-      - run: ./mill test.testOnly DSAMemoryRegionSystemTestsBAP IntrusiveListTest IntrusiveListPublicInterfaceTest PointsToTest DSAMemoryRegionSystemTestsGTIRB MemoryRegionTestsNoRegion AnalysisSystemTestsBAP AnalysisSystemTestsGTIRB DataStructureAnalysisTest IrreducibleLoop ParamAnalysisTests LiveVarsAnalysisTests IRTest CILVisitorTest InterpreterTests InvariantTest ProcedureSummaryTests UnimplementedTests ExtraSpecTests BitVectorAnalysisTests TaintAnalysisTests IndirectCallTests MemoryRegionTestsDSA
+        # also omitting: MemoryRegionTestsDSA MemoryRegionTestsNoRegion UnimplementedTests ExtraSpecTests IndirectCallTests PointsToTest BitVectorAnalysisTests IntrusiveListPublicInterfaceTest
+
+      - run: ./mill test.testOnly DSAMemoryRegionSystemTestsBAP
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly IntrusiveListTest 
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly SAMemoryRegionSystemTestsGTIRB
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly AnalysisSystemTestsBAP
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly AnalysisSystemTestsGTIRB
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly DataStructureAnalysisTest
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly IrreducibleLoop
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly ParamAnalysisTests
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly LiveVarsAnalysisTests
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly ir.IRTest
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly CILVisitorTest
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly InterpreterTests
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly InvariantTest
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly ProcedureSummaryTests
+        if: ${{ ! cancelled() }}
+      - run: ./mill test.testOnly TaintAnalysisTests
+        if: ${{ ! cancelled() }}