forked from QuackatronHQ/Gigarepo
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
2519580
commit 0424a00
Showing
5 changed files
with
69 additions
and
13 deletions.
There are no files selected for viewing
3 changes: 1 addition & 2 deletions
3
.github/workflows/run-slither.yaml → .github/workflows/slither-solidity.yaml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,50 @@ | ||
# ref: https://github.com/crytic/slither-action#how-to-use-1 | ||
name: Slither Analysis for Vyper | ||
|
||
on: | ||
# Note that both `push` and `pull_request` triggers should be present for GitHub to consistently present slither | ||
# SARIF reports. | ||
push: | ||
branches: [main, master] | ||
pull_request: | ||
|
||
jobs: | ||
scan: | ||
runs-on: ubuntu-latest | ||
permissions: | ||
contents: read | ||
security-events: write | ||
env: | ||
DEEPSOURCE_DSN: ${{ secrets.DEEPSOURCE_DSN }} | ||
steps: | ||
- uses: actions/checkout@v3 | ||
with: | ||
ref: ${{ github.event.pull_request.head.sha }} | ||
|
||
- name: Run Slither | ||
uses: crytic/[email protected] | ||
id: slither | ||
with: | ||
slither-version: 0.10.0 | ||
target: "vyper/" | ||
# The following makes slither produce scan analysis in SARIF format | ||
sarif: ./slither.sarif | ||
# The following line prevents aborting the workflow immediately in case your files fail Slither checks. | ||
# This allows the following upload-sarif action to still upload the results. | ||
continue-on-error: true | ||
|
||
- name: Upload SARIF report files to DeepSource | ||
id: upload-sarif | ||
run: | | ||
# Install the CLI | ||
curl https://deepsource.io/cli | sh | ||
# Send the report to DeepSource | ||
./bin/deepsource report --analyzer slither --analyzer-type community --value-file ${{ steps.slither.outputs.sarif }} | ||
# Ensure the workflow eventually fails if files did not pass slither checks. | ||
- name: Verify slither-action succeeded | ||
shell: bash | ||
run: | | ||
echo "If this step fails, slither found issues. Check the output of the scan step above." | ||
[[ "${{ steps.slither.outcome }}" == "success" ]] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
{ | ||
"devDependencies": { | ||
"solhint": "solhint@^4.1.1" | ||
"solhint": "^4.1.1" | ||
} | ||
} |