debug

HerodotusDev · Mar 27, 2024 · 2fb621c · 2fb621c
1 parent 28153ef
commit 2fb621c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 7 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
+        run: git clone https://github.com/fmkra/scarb.git && 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
@@ -17,15 +17,14 @@ jobs:
       - name: Format code
         run: scarb fmt --check
 
-      - name: Checkout custom scarb
-        uses: actions/checkout@v3
-        with:
-          repository: fmkra/scarb
+      - name: Clone custom scarb
+        run: git clone https://github.com/fmkra/scarb.git && git checkout feature_set_manipulations
+        working-directory: ${{ github.workspace }}
 
       - name: Build custom scarb
         run: cargo build
-        working-directory: scarb
+        working-directory: ${{ github.workspace }}/scarb
 
       - name: Run tests
         run: ./scarb/target/debug/scarb test
-        working-directory: ${{ github.workspace }}/../
+        working-directory: ${{ github.workspace }}