simple workaround for unit-test and conformance-test

Author: Catoverflow

.github/workflows/ci.yml

@@ -169,7 +169,9 @@ jobs:
             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
+        run: |
+          mv verus ../verus
+          cargo update home --precise 0.5.9
       - name: Run unit tests
         run: cargo test unit_tests
   conformance-tests:
@@ -196,7 +198,9 @@ jobs:
       - name: Set up a kind cluster
         run: kind create cluster
       - name: Pin home to version 0.5.9 (workaround)
-        run: cargo update home --precise 0.5.9
+        run: |
+          mv verus ../verus
+          cargo update home --precise 0.5.9
       - name: Run conformance tests
         run: cargo test conformance_tests -- --nocapture
   framework-verification: