Skip to content

Commit 7486d76

Browse files
committed
Updates
1 parent 5f411ba commit 7486d76

File tree

4 files changed

+3
-37
lines changed

4 files changed

+3
-37
lines changed

.github/workflows/lint_format.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ jobs:
3434
3535
- name: Remove slither uncessary files
3636
run: |
37-
find program-analysis/slither -mindepth 1 -not -name "docs" -exec rm -rf {} +
37+
rm -rf program-analysis/slither
3838
3939
- name: Run lint
4040
run: |

.github/workflows/slither.yml

Lines changed: 0 additions & 34 deletions
This file was deleted.

SUMMARY.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -185,7 +185,7 @@
185185
- [Printers](./program-analysis/slither/docs/src/printers/Printer-documentation.md)
186186
- [Tools](./program-analysis/slither/docs/src/tools/README.md)
187187
- [Adding a new tool](./program-analysis/slither/docs/src/tools/Adding-a-new-utility.md)
188-
- [Code Similarity](./program-analysis/slither/docs/src/tools/Code-Similarity-detector.md)
188+
- [Code Similarity](./program-analysis/slither/docs/src/tools/Code-Similarity-Detector.md)
189189
- [Contract Flattening](./program-analysis/slither/docs/src/tools/Contract-Flattening.md)
190190
- [Documentation](./program-analysis/slither/docs/src/tools/Documentation.md)
191191
- [Doctor](./program-analysis/slither/docs/src/tools/Doctor.md)

program-analysis/slither

0 commit comments

Comments
 (0)