Skip to content

Add gelato fixes from the audit #1010

Add gelato fixes from the audit

Add gelato fixes from the audit #1010

Workflow file for this run

name: Tests
on:
pull_request:
push:
branches: [ main ]
jobs:
tests:
runs-on: ubuntu-latest
steps:
- name: checkout
uses: actions/checkout@v3
- name: install Foundry
uses: foundry-rs/foundry-toolchain@v1
with:
version: nightly
- name: check formatting
run: forge fmt --check
- name: make fuzz tests on main branch extensive
if: ${{ github.event_name == 'push' }}
run: echo FOUNDRY_FUZZ_RUNS=50000 >> $GITHUB_ENV
- name: run tests
run: forge test --deny-warnings
- name: run Slither
uses: crytic/[email protected]
with:
slither-version: '0.9.5'