debug

HerodotusDev · Mar 27, 2024 · f2469a9 · f2469a9
1 parent c15654c
commit f2469a9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml
@@ -35,7 +35,7 @@ jobs:
           pip install -r requirements.txt
       
       - name: Clone custom scarb
-        run: git clone https://github.com/fmkra/scarb.git && git pull && git checkout feature_set_manipulations
+        run: git clone https://github.com/fmkra/scarb.git && cd scarb && git checkout feature_set_manipulations
         working-directory: ${{ github.workspace }}
 
       - name: Build custom scarb

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -18,7 +18,7 @@ jobs:
         run: scarb fmt --check
 
       - name: Clone custom scarb
-        run: git clone https://github.com/fmkra/scarb.git && git pull && git checkout feature_set_manipulations
+        run: git clone https://github.com/fmkra/scarb.git && cd scarb && git checkout feature_set_manipulations
         working-directory: ${{ github.workspace }}
 
       - name: Build custom scarb