Skip to content

[Certora] Update verification #43

[Certora] Update verification

[Certora] Update verification #43

Workflow file for this run

name: Forge format
on:
push:
branches:
- main
pull_request:
jobs:
forge-fmt:
name: Formatting
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- name: Install Foundry
uses: onbjerg/foundry-toolchain@v1
with:
version: nightly
- name: Check formatting
run: forge fmt --check