Workaround constraint of checkout action

Signed-off-by: Xudong Sun <[email protected]>
anvil-verifier · Sep 8, 2023 · ccd72cf · ccd72cf
1 parent 301250f
commit ccd72cf
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -19,7 +19,9 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: verus-lang/verus
-          path: ../verus
+          path: verus
+      - name: Move Verus
+        run: mv verus ../verus
       - name: Install Rust toolchain
         run: |
           curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
@@ -47,7 +49,9 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: verus-lang/verus
-          path: ../verus
+          path: verus
+      - name: Move Verus
+        run: mv verus ../verus
       - name: Install Rust toolchain
         run: |
           curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y