Add tests

.github/workflows/ci.yml

@@ -13,7 +13,7 @@ jobs:
         fetch-depth: 1
         show-progress: false
     - name: Cache JDK
-      uses: actions/cache@v3
+      uses: actions/cache@v4
       id: cache-jdk
       with:
         path: ~/.java
@@ -58,9 +58,26 @@ jobs:
     - run: carton exec ./test_bug_mining.sh
       name: test_bug_mining.sh
       working-directory: "./framework/test"
-    - run: carton exec ./test_style.sh
-      name: test_style.sh
+
+    # Verify a few select bugs to detect serious breakages early.
+    - 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 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 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
+# bugs is very time-consuming. The jobs below should be run as part of the
+# release process, but running them on every push and PR is unnecessary.
+#
+#    # Verify that export returns expected values for all projects.
 #    - run: carton exec ./test_export_command.sh -p Chart -p Cli -p Closure
 #      name: "test export 1"
 #      working-directory: "./framework/test"
@@ -73,11 +90,6 @@ jobs:
 #    - run: carton exec ./test_export_command.sh -p Lang -p Math -p Mockito -p Time
 #      name: "test export 4"
 #      working-directory: "./framework/test"
-
-#
-# Verifying all bugs is pretty time-consuming. The jobs below should be run as
-# part of the release process, but running them on every push and PR is
-# unnecessary.
 #
 #    # Verify that all bugs are reproducible (run multiple jobs for projects that
 #    # take a long time to finish).