Skip to content

Remove Unnecessary Non-Terminal Key checks #1006

Remove Unnecessary Non-Terminal Key checks

Remove Unnecessary Non-Terminal Key checks #1006

Workflow file for this run

name: Slither Analysis
on:
push:
branches:
- main
pull_request:
jobs:
analyze:
runs-on: ubuntu-latest
permissions:
actions: read
id-token: write
contents: write
security-events: write
statuses: write
steps:
- name: Check out Git repository
uses: actions/checkout@v2
with:
token: ${{ secrets.github_token }}
- name: Run Slither
uses: crytic/[email protected]
id: slither
with:
node-version: 16
sarif: results.sarif
fail-on: config
- if: failure()
uses: Ayrx/[email protected]
with:
sarif_file: ${{ steps.slither.outputs.sarif }}