Certora Review #28

Sign in to view logs

Triggered via pull request September 8, 2024 21:47

synchronize #7

certora

Status Failure

Total duration 2m 54s

Artifacts 2

test.yml

on: pull_request

Foundry build n test

Annotations

1 error

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size
3eac897d1dc15fd08594e223e930d92ae09e0e54	12.8 KB
pr_number	144 Bytes