Skip to content

Commit 5f411ba

Browse files
committed
Minor
1 parent aefbaac commit 5f411ba

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

.github/workflows/lint_format.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,10 @@ jobs:
3131
rm -rf program-analysis/medusa/compilation
3232
rm -rf program-analysis/medusa/fuzzing
3333
rm program-analysis/medusa/docs/theme/highlight.js
34+
35+
- name: Remove slither uncessary files
36+
run: |
37+
find program-analysis/slither -mindepth 1 -not -name "docs" -exec rm -rf {} +
3438
3539
- name: Run lint
3640
run: |

0 commit comments

Comments
 (0)