lint and check format

test: update certora for pepe #367

Sign in to view logs

Summary
Jobs
- Foundry Fmt
Run details
- Usage
- Workflow file

Triggered via pull request August 26, 2024 14:41

wadealexc

synchronize #707

alex/certora-specs-rebase

Status Failure

Total duration 40s

Artifacts –

format.yml

on: pull_request

Annotations

1 error

Foundry Fmt

Process completed with exit code 1.