From 96a326a9a2c06cea7f5bbd388be2a7e82d6fb080 Mon Sep 17 00:00:00 2001
From: Hadas Zeilberger <hadaszeilberger@gmail.com>
Date: Mon, 22 Jan 2024 13:37:10 -0500
Subject: [PATCH] Update ci.yml

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 659ac8aa..9e767fff 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -26,7 +26,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           path: valida
-	  
+
       - name: Install nightly toolchain
         uses: actions-rs/toolchain@v1
         with: