put verus under anvil because .. is not supported for cache

Author: Catoverflow

.github/workflows/ci.yml

@@ -23,7 +23,7 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Download Verus if cache is missing
         if: steps.cache-verus.outputs.cache-hit != 'true'
@@ -35,8 +35,7 @@ jobs:
       - name: Build Verus if cache is missing
         if: steps.cache-verus.outputs.cache-hit != 'true'
         run: |
-          mv verus ../verus
-          cd ../verus
+          cd verus
           curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
           . "$HOME/.cargo/env"
           rustup toolchain install
@@ -59,10 +58,10 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Verify fluent controller
-        run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh fluent_controller.rs --time --rlimit 50
+        run: VERUS_DIR="${PWD}/verus" ./build.sh fluent_controller.rs --time --rlimit 50
   rabbitmq-verification:
     needs: build-verus
     runs-on: ubuntu-22.04
@@ -77,10 +76,10 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Verify rabbitmq controller
-        run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh rabbitmq_controller.rs --time --rlimit 50
+        run: VERUS_DIR="${PWD}/verus" ./build.sh rabbitmq_controller.rs --time --rlimit 50
   zookeeper-verification:
     needs: build-verus
     runs-on: ubuntu-22.04
@@ -95,10 +94,10 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Verify zookeeper controller
-        run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh zookeeper_controller.rs --time --rlimit 100
+        run: VERUS_DIR="${PWD}/verus" ./build.sh zookeeper_controller.rs --time --rlimit 100
   vreplicaset-verification:
     needs: build-verus
     runs-on: ubuntu-22.04
@@ -113,10 +112,10 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Verify vreplicaset controller
-        run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh vreplicaset_controller.rs --time
+        run: VERUS_DIR="${PWD}/verus" ./build.sh vreplicaset_controller.rs --time
   v2-vreplicaset-verification:
     needs: build-verus
     runs-on: ubuntu-22.04
@@ -131,10 +130,10 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Verify vreplicaset controller
-        run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh v2_vreplicaset_controller.rs --rlimit 50 --time
+        run: VERUS_DIR="${PWD}/verus" ./build.sh v2_vreplicaset_controller.rs --rlimit 50 --time
   v2-vdeployment-verification:
     needs: build-verus
     runs-on: ubuntu-22.04
@@ -149,10 +148,10 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Verify vdeployment controller
-        run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh v2_vdeployment_controller.rs --rlimit 50 --time
+        run: VERUS_DIR="${PWD}/verus" ./build.sh v2_vdeployment_controller.rs --rlimit 50 --time
   unit-tests:
     needs: build-verus
     runs-on: ubuntu-22.04
@@ -167,7 +166,7 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Pin home to version 0.5.9 (workaround)
         run: cargo update home --precise 0.5.9
@@ -186,7 +185,7 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Setup Go
         uses: actions/setup-go@v5
@@ -214,10 +213,10 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Verify conformance of the executable model
-        run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh anvil.rs --crate-type lib --time
+        run: VERUS_DIR="${PWD}/verus" ./build.sh anvil.rs --crate-type lib --time
   framework-v2-verification:
     needs: build-verus
     runs-on: ubuntu-22.04
@@ -232,10 +231,10 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ../verus/source
+            verus/source
           key: verus-${{ runner.os }}-${{ env.verus_commit }}
       - name: Verify conformance of the executable model
-        run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh anvil_v2.rs --crate-type lib --rlimit 50 --time
+        run: VERUS_DIR="${PWD}/verus" ./build.sh anvil_v2.rs --crate-type lib --rlimit 50 --time
   fluent-e2e-test:
     runs-on: ubuntu-22.04
     steps: