Skip to content

Merge branch 'develop' into feat/vaults #659

Merge branch 'develop' into feat/vaults

Merge branch 'develop' into feat/vaults #659

Workflow file for this run

name: Analysis
#on: [pull_request]
#
#jobs:
# slither:
# name: Slither
# runs-on: ubuntu-latest
#
# permissions:
# contents: read
# security-events: write
#
# steps:
# - uses: actions/checkout@v4
#
# - name: Common setup
# uses: ./.github/workflows/setup
#
# - name: Install poetry
# run: pipx install poetry
#
# - uses: actions/setup-python@v5
# with:
# python-version: "3.12"
# cache: "poetry"
#
# - name: Install dependencies
# run: poetry install --no-root
#
# - name: Versions
# run: >
# poetry --version &&
# python --version &&
# echo "slither $(poetry run slither --version)" &&
# poetry run slitherin --version
#
# - name: Run slither
# run: >
# poetry run slither . \
# --no-fail-pedantic \
# --compile-force-framework hardhat \
# --sarif results.sarif \
# --exclude pess-strange-setter,pess-arbitrary-call-calldata-tainted
#
# - name: Check results.sarif presence
# id: results
# if: always()
# shell: bash
# run: >
# test -f results.sarif &&
# echo 'value=present' >> $GITHUB_OUTPUT ||
# echo 'value=not' >> $GITHUB_OUTPUT
#
# - name: Upload results.sarif file
# uses: github/codeql-action/upload-sarif@v3
# if: ${{ always() && steps.results.outputs.value == 'present' }}
# with:
# sarif_file: results.sarif