refactor

HerodotusDev · Mar 20, 2024 · 2bd8fe1 · 2bd8fe1
1 parent 19cec0d
commit 2bd8fe1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 18 deletions.
diff --git a/.github/workflows/full.yml → ...ub/workflows/proof_verification_tests.yml b/.github/workflows/full.yml → ...ub/workflows/proof_verification_tests.yml
@@ -1,4 +1,4 @@
-name: Continuous Integration - full testing
+name: Continuous Integration - proof verification tests
 
 on:
   push:
@@ -9,23 +9,7 @@ on:
       - main
 
 jobs:
-  formatting-and-testing:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v3
-
-      - name: Setup Scarb
-        uses: software-mansion/setup-scarb@v1
-
-      - name: Format code
-        run: scarb fmt --check
-
-      - name: Run tests
-        run: scarb test
-
   verify-proof:
-    needs: formatting-and-testing
     runs-on: ubuntu-latest
     strategy:
       matrix:

diff --git a/.github/workflows/partial.yml → .github/workflows/tests.yml b/.github/workflows/partial.yml → .github/workflows/tests.yml
@@ -1,4 +1,4 @@
-name: Continuous Integration - partial testing
+name: Continuous Integration - tests
 
 on:
   push: