Merge branch 'master' into rm_arith_files

mit-plv · Dec 1, 2023 · ee209bf · ee209bf
2 parents b0f9f84 + 7acc8f4
commit ee209bf
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/java.yml b/.github/workflows/java.yml
@@ -21,7 +21,7 @@ jobs:
       with:
         submodules: recursive
     - name: Set up JDK 1.8
-      uses: actions/setup-java@v3.13.0
+      uses: actions/setup-java@v4.0.0
       with:
         java-version: 8
         distribution: 'zulu'

diff --git a/rewriter b/rewriter
diff --git a/rupicola b/rupicola