feature: disable arithmetization tests

.github/workflows/gradle.yml

@@ -102,40 +102,15 @@ jobs:
   tests:
     runs-on: ubuntu-latest
     steps:
-      - uses: webfactory/[email protected]
-        with:
-          ssh-private-key: |
-            ${{ secrets.CONSTRAINTS_SSH_KEY }}
-
       - name: Checkout repository
         uses: actions/checkout@v3
-        with:
-          submodules: recursive
 
       - name: Set up JDK 17
         uses: actions/setup-java@v3
         with:
           java-version: '17'
           distribution: 'adopt'
 
-      # The asset URL for the latest release can be found with:
-      # curl -L -H "Accept: application/vnd.github+json"  \
-      #     -H "Authorization: Bearer YOUR_GH_API_TOKEN" \
-      #     -H "X-GitHub-Api-Version: 2022-11-28" \
-      #     https://api.github.com/repos/ConsenSys/corset/releases/latest
-      # | jq '.assets[] | select(.name|endswith("x86_64-unknown-linux-musl.tar.gz")) | .url'
-      - name: Install Corset
-        run: |
-          curl -L \
-          -H "Accept: application/octet-stream" \
-          -H "Authorization: Bearer ${{ secrets.GITHUB_TOKEN }}" \
-          -H "X-GitHub-Api-Version: 2022-11-28" \
-          -o corset.tar.gz \
-          https://api.github.com/repos/Consensys/corset/releases/assets/147491099
-          tar xzf corset.tar.gz
-          mv corset $HOME
-          echo $HOME >> $GITHUB_PATH
-
       - name: Run unit tests
         run: ./gradlew :arithmetization:test
         env:

gradle/tests.gradle

@@ -63,7 +63,7 @@ test {
   useJUnitPlatform()
 }
 
-tasks.test.dependsOn(buildZkevmBin)
+//tasks.test.dependsOn(buildZkevmBin)
 
 tasks.register('unitTests', Test) {
   description = 'Runs unit tests.'
@@ -79,4 +79,5 @@ tasks.register('unitTests', Test) {
 
 test {
   exclude('**/**ReferenceTest*')
+  exclude '**/net/consensys/linea/zktracer/**'
 }