Skip to content

[Certora] Update morpho-blue #1275

[Certora] Update morpho-blue

[Certora] Update morpho-blue #1275

Workflow file for this run

name: Formatting
on:
push:
branches:
- main
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
cancel-in-progress: true
jobs:
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- uses: ./.github/actions/install
- name: Run Linter
run: yarn lint