update test file

Author: lichye

.github/workflows/test.yml

@@ -11,11 +11,11 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
 
     - name: Cache Z3
       id: cache-z3
-      uses: actions/cache@v1
+      uses: actions/cache@v3
       with:
         path: z3/
         key: ${{ runner.os }}-z3-${{ hashFiles('get-z3-linux.sh') }}-1
@@ -54,7 +54,7 @@ jobs:
 
     # - name: Cache Delphi
     #   id: cache-delphi
-    #   uses: actions/cache@v1
+    #   uses: actions/cache@v3
     #   with:
     #     path: delphi/
     #     key: ${{ runner.os }}-delphi-${{ hashFiles('get-delphi-linux.sh') }}-1
@@ -74,18 +74,18 @@ jobs:
        echo "$GITHUB_WORKSPACE/oracles/" >> $GITHUB_PATH
     
     - name: Set up JDK 11
-      uses: actions/setup-java@v1
+      uses: actions/setup-java@v3
       with:
         java-version: 11
 
     - name: Cache SBT ivy cache
-      uses: actions/cache@v1
+      uses: actions/cache@v3
       with:
         path: ~/.ivy2/cache
         key: ${{ runner.os }}-sbt-ivy-cache-${{ hashFiles('**/build.sbt') }}
 
     - name: Cache SBT
-      uses: actions/cache@v1
+      uses: actions/cache@v3
       with:
         path: ~/.sbt
         key: ${{ runner.os }}-sbt-${{ hashFiles('**/build.sbt') }}
@@ -103,14 +103,14 @@ jobs:
     runs-on: macos-13
 
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
     - uses: olafurpg/setup-scala@v10
       with:
         java-version: [email protected]
 
     - name: Cache Z3
       id: cache-z3
-      uses: actions/cache@v1
+      uses: actions/cache@v3
       with:
         path: z3/
         key: ${{ runner.os }}-z3-${{ hashFiles('get-z3-macos.sh') }}-1
@@ -133,7 +133,7 @@ jobs:
 
     - name: Cache CVC5
       id: cache-cvc5
-      uses: actions/cache@v1
+      uses: actions/cache@v3
       with:
         path: cvc5/
         key: ${{ runner.os }}-cvc5-${{ hashFiles('get-cvc5-macos.sh') }}-1
@@ -152,7 +152,7 @@ jobs:
 
     # - name: Cache delphi
     #   id: cache-delphi
-    #   uses: actions/cache@v1
+    #   uses: actions/cache@v3
     #   with:
     #     path: delphi/
     #     key: ${{ runner.os }}-delphi-${{ hashFiles('get-delphi-macos.sh') }}-1