chore: comments medusa and halmos CI tests

Author: 0xItadaki

.github/workflows/tests.yml

@@ -26,7 +26,7 @@ jobs:
         uses: actions/setup-node@v4
         with:
           node-version: 20.x
-          cache: 'yarn'
+          cache: "yarn"
 
       - name: Install dependencies
         run: yarn --frozen-lockfile --network-concurrency 1
@@ -53,7 +53,7 @@ jobs:
         uses: actions/setup-node@v4
         with:
           node-version: 20.x
-          cache: 'yarn'
+          cache: "yarn"
 
       - name: Install dependencies
         run: yarn --frozen-lockfile --network-concurrency 1
@@ -64,48 +64,48 @@ jobs:
       - name: Run tests
         run: yarn test:integration
 
-  medusa-tests:
-    name: Medusa Test
-    runs-on: ubuntu-latest
-    container: ghcr.io/trailofbits/eth-security-toolbox/ci:nightly-20241223
+  # medusa-tests:
+  #   name: Medusa Test
+  #   runs-on: ubuntu-latest
+  #   container: ghcr.io/trailofbits/eth-security-toolbox/ci:nightly-20241223
 
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v4
-        with:
-          submodules: recursive
+  #   steps:
+  #     - name: Checkout repository
+  #       uses: actions/checkout@v4
+  #       with:
+  #         submodules: recursive
 
-      - name: Install dependencies
-        run: yarn --frozen-lockfile --network-concurrency 1
+  #     - name: Install dependencies
+  #       run: yarn --frozen-lockfile --network-concurrency 1
 
-      - name: Run Medusa
-        run: medusa fuzz --test-limit 200000
+  #     - name: Run Medusa
+  #       run: medusa fuzz --test-limit 200000
 
-  halmos-tests:
-    name: Run symbolic execution tests
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
+  # halmos-tests:
+  #   name: Run symbolic execution tests
+  #   runs-on: ubuntu-latest
+  #   steps:
+  #     - uses: actions/checkout@v4
 
-      - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1
-        with:
-          version: stable
+  #     - name: Install Foundry
+  #       uses: foundry-rs/foundry-toolchain@v1
+  #       with:
+  #         version: stable
 
-      - name: Use Node.js
-        uses: actions/setup-node@v4
-        with:
-          node-version: 20.x
-          cache: 'yarn'
+  #     - name: Use Node.js
+  #       uses: actions/setup-node@v4
+  #       with:
+  #         node-version: 20.x
+  #         cache: 'yarn'
 
-      - name: Install dependencies
-        run: yarn --frozen-lockfile --network-concurrency 1
+  #     - name: Install dependencies
+  #       run: yarn --frozen-lockfile --network-concurrency 1
 
-      - name: Precompile
-        run: yarn build
+  #     - name: Precompile
+  #       run: yarn build
 
-      - name: Run tests
-        run: yarn test:integration
+  #     - name: Run tests
+  #       run: yarn test:integration
 
   lint:
     name: Static Analysis
@@ -127,7 +127,7 @@ jobs:
         uses: actions/setup-node@v4
         with:
           node-version: 20.x
-          cache: 'yarn'
+          cache: "yarn"
 
       - name: Install dependencies
         run: yarn --frozen-lockfile --network-concurrency 1
@@ -138,4 +138,4 @@ jobs:
       - name: Install and run Bulloak
         uses: smol-ninja/bulloak-toolchain@v1
         with:
-          test-dir: 'test/unit'
+          test-dir: "test/unit"