prepare for the next release

uw-pluverse · Nov 7, 2023 · 99e8a49 · 99e8a49
1 parent 6496a9f
commit 99e8a49
Show file tree

Hide file tree

Showing 4 changed files with 19 additions and 2 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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>) {