Update ci.yml

valida-xyz · Jan 22, 2024 · c7cbdc1 · c7cbdc1
1 parent 0b35e91
commit c7cbdc1
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,20 +18,20 @@ jobs:
       - name: Checkout Plonky3
         uses: actions/checkout@v4
         with:
-	  repository: lita-xyz/Plonky3
-	  ref: batch_prover
+          repository: lita-xyz/Plonky3
           path: Plonky3
-
+          ref: batch_prover
+
       - name: Checkout Valida
         uses: actions/checkout@v4
         with:
           path: valida
-
+	  
       - name: Install nightly toolchain
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: nightly
+	  toolchain: nightly
 
       - name: Build
         working-directory: valida
@@ -49,8 +49,9 @@ jobs:
       - name: Checkout Plonky3
         uses: actions/checkout@v4
         with:
-          repository: Plonky3/Plonky3
+          repository: lita-xyz/Plonky3
           path: Plonky3
+          ref: batch_prover
 
       - name: Checkout Valida
         uses: actions/checkout@v4