ci cleanup

HerodotusDev · Mar 28, 2024 · ddfde6c · ddfde6c
1 parent faaf371
commit ddfde6c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 12 deletions.
diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml
@@ -23,23 +23,15 @@ jobs:
 
       - name: Setup Rust toolchain
         uses: actions-rust-lang/setup-rust-toolchain@v1
-
-      - name: Setup Python
-        uses: actions/setup-python@v2
-        with:
-          python-version: '3.10'
-
-      - name: Install dependencies
-        run: |
-          python -m pip install --upgrade pip
-          pip install -r requirements.txt
-      
+
+      # temporary solution
       - name: Clone custom scarb
         run: |
           git clone https://github.com/fmkra/scarb.git
           cd scarb && git checkout feature_set_manipulations
         working-directory: ${{ github.workspace }}
 
+      # temporary solution
       - name: Build custom scarb
         run: cargo build
         working-directory: ${{ github.workspace }}/scarb

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -16,13 +16,15 @@ jobs:
 
       - name: Format code
         run: scarb fmt --check
-
+
+      # temporary solution
       - name: Clone custom scarb
         run: |
           git clone https://github.com/fmkra/scarb.git
           cd scarb && git checkout feature_set_manipulations
         working-directory: ${{ github.workspace }}
 
+      # temporary solution
       - name: Build custom scarb
         run: cargo build
         working-directory: ${{ github.workspace }}/scarb