diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml index 1bbbe72ab..41dd051d7 100644 --- 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 index e99ab87f7..ff0fdced2 100644 --- 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