From 2fb621c0909a4a24c9cca2fca38651fba08dbb79 Mon Sep 17 00:00:00 2001 From: Bartosz Nowak Date: Wed, 27 Mar 2024 23:04:19 +0100 Subject: [PATCH] debug --- .github/workflows/proof_verification_tests.yml | 2 +- .github/workflows/tests.yml | 11 +++++------ 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml index 8ecd46490..d7631fa10 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 + 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 index d2329f26b..3c68804d1 100644 --- 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 }}/../ \ No newline at end of file + working-directory: ${{ github.workspace }} \ No newline at end of file