From 0b35e91e05a101a149f98cadba1f4acd4cda466d Mon Sep 17 00:00:00 2001
From: Hadas Zeilberger <hadaszeilberger@gmail.com>
Date: Mon, 22 Jan 2024 13:14:32 -0500
Subject: [PATCH] Update ci.yml

---
 .github/workflows/ci.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 81b2909b..2bfbb70f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -18,9 +18,9 @@ jobs:
       - name: Checkout Plonky3
         uses: actions/checkout@v4
         with:
-	 repository: lita-xyz/Plonky3
-	 ref: batch_prover
-         path: Plonky3
+	  repository: lita-xyz/Plonky3
+	  ref: batch_prover
+          path: Plonky3
 
       - name: Checkout Valida
         uses: actions/checkout@v4