Run all tests when reproducing bugs in CI; reproduce another Lang bug.

rjust · Sep 3, 2024 · 2bd33b9 · 2bd33b9
1 parent e89f393
commit 2bd33b9
Showing 1 changed file with 9 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -64,14 +64,17 @@ jobs:
       working-directory: "./framework/test"
 
     # Verify a few select bugs to detect serious breakages early.
-    - run: carton exec ./test_verify_bugs.sh -p Lang -b 24
-      name: "test_verify_bugs.sh -p Lang -b 24"
+    - run: carton exec ./test_verify_bugs.sh -p Lang -b 24 -A
+      name: "test_verify_bugs.sh -p Lang -b 24 -A"
       working-directory: "./framework/test"
-    - run: carton exec ./test_verify_bugs.sh -p Closure -b 102
-      name: "test_verify_bugs.sh -p Closure -b 102"
+    - run: carton exec ./test_verify_bugs.sh -p Lang -b 62 -A
+      name: "test_verify_bugs.sh -p Lang -b 62 -A"
       working-directory: "./framework/test"
-    - run: carton exec ./test_verify_bugs.sh -p Mockito -b 10
-      name: "test_verify_bugs.sh -p Mockito -b 10"
+    - run: carton exec ./test_verify_bugs.sh -p Closure -b 102 -A
+      name: "test_verify_bugs.sh -p Closure -b 102 -A"
+      working-directory: "./framework/test"
+    - run: carton exec ./test_verify_bugs.sh -p Mockito -b 10 -A
+      name: "test_verify_bugs.sh -p Mockito -b 10 -A"
       working-directory: "./framework/test"
 
 # Verifying the export command for all bugs and verifying reproducibility of all