minor

crytic · May 20, 2024 · b00dc7e · b00dc7e
1 parent 9709bbe
commit b00dc7e
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/lint_format.yml b/.github/workflows/lint_format.yml
@@ -25,6 +25,13 @@ jobs:
         run: |
           npm ci
 
+      - name: Remove Medusa uncessary files
+        run: |
+          rm -rf program-analysis/medusa/chain
+          rm -rf program-analysis/medusa/compilation
+          rm -rf program-analysis/medusa/fuzzing
+          rm program-analysis/medusa/docs/theme/highlight.js
+
       - name: Run lint
         run: |
           npm run lint:format