private repo access

succinctlabs · Jan 25, 2024 · 80dc744 · 80dc744
1 parent ea4955b
commit 80dc744
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -24,13 +24,6 @@ jobs:
       - name: Install ninja and cmake
         uses: lukka/[email protected]
 
-      - name: Check out succinctlabs/rust
-        uses: actions/checkout@v3
-        with:
-          submodules: 'recursive'
-          path: rust
-          fetch-depth: 0
-
       - name: Check out succinctlabs/vm
         uses: actions/checkout@v3
         with:
@@ -39,6 +32,13 @@ jobs:
           ref: john/cargo-succinct-build-toolchain
           token: ${{ secrets.PRIVATE_PULL_TOKEN }}
 
+      - name: Check out succinctlabs/rust
+        uses: actions/checkout@v3
+        with:
+          submodules: 'recursive'
+          path: rust
+          fetch-depth: 0
+
       - name: Install cargo prove
         run: cargo install --locked --path .
         working-directory: vm/cli