diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 1bd34495f..19b5e6e56 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -34,6 +34,22 @@ jobs:
       run: |
         bazel build //src/... //antlropt/... //test/... //copyright/...
 
+    - name: Test Toy Benchmarks
+      run: |
+        bazel test //test/org/perses/benchmark_toys/...
+
+    - name: Test Reducers
+      run: | 
+        bazel test //test/org/perses/reduction/...
+
+    - name: Test Antlr OPT
+      run: | 
+        bazel test //antlropt/...
+
+    - name: Test Pair-Wise Program Reduction
+      run: |
+        bazel test //ppr/...
+
     #- name: Test
     #  run: |
     #    ./scripts/presubmit.sh
diff --git a/README.md b/README.md
index dff927175..641ba4fe8 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,4 @@
+![CI](https://github.com/uw-pluverse/perses/actions/workflows/main.yml/badge.svg)
 # Perses: Syntax-Directed Program Reduction
 
 Perses is a language-agnostic program reducer to minimize a program with 
diff --git a/scripts/copy_to_public_repo.sh b/scripts/copy_to_public_repo.sh
index 7a6d684d3..274460052 100755
--- a/scripts/copy_to_public_repo.sh
+++ b/scripts/copy_to_public_repo.sh
@@ -51,7 +51,7 @@ for entry in $(git -C "$PUBLIC_REPO_DIR" ls-tree --name-only HEAD); do
 done
 
 for entry in $(find . -maxdepth 1 -type f); do
-  cp "${entry}" "${PUBLIC_REPO_DIR}/"
+  cp -f "${entry}" "${PUBLIC_REPO_DIR}/"
 done
 echo
 echo "Done."
diff --git a/version/org/perses/version/VersionClassGenerator.kt b/version/org/perses/version/VersionClassGenerator.kt
index 49979f922..36ee9270e 100644
--- a/version/org/perses/version/VersionClassGenerator.kt
+++ b/version/org/perses/version/VersionClassGenerator.kt
@@ -28,7 +28,7 @@ import kotlin.io.path.writeText
 object VersionClassGenerator {
 
   private const val MAJOR_VERSION = "1"
-  private const val MINOR_VERSION = "6"
+  private const val MINOR_VERSION = "7"
 
   @JvmStatic
   fun generate(args: Array<String>) {