TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

minor

Browse Source
pull/1023/head
Josselin 3 years ago
parent eb671ec341
commit 94d0cde9e2
2 changed files with 2 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      .github/workflows/ci.yml
  2. 2
      plugin_example/README.md

2
.github/workflows/ci.yml
Unescape View File

@ -55,4 +55,4 @@ jobs:
TEST_TYPE: ${{ matrix.type }} TEST_TYPE: ${{ matrix.type }}
GITHUB_ETHERSCAN: ${{ secrets.GITHUB_ETHERSCAN }} GITHUB_ETHERSCAN: ${{ secrets.GITHUB_ETHERSCAN }}
run: | run: |
bash scripts/ci_test_${TEST_TYPE}.sh bash "scripts/ci_test_${TEST_TYPE}.sh"

2
plugin_example/README.md
Unescape View File

@ -1,6 +1,6 @@
# Slither, Plugin Example # Slither, Plugin Example
This repo contains an example of plugin for Slither. This repository contains an example of plugin for Slither.
See the [detector documentation](https://github.com/trailofbits/slither/wiki/Adding-a-new-detector). See the [detector documentation](https://github.com/trailofbits/slither/wiki/Adding-a-new-detector).

Write Preview
Loading…
Cancel
Save