Certora Review #35

Sign in to view logs

Triggered via pull request September 10, 2024 16:53

synchronize #7

certora

Status Failure

Total duration 2m 52s

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
7cd25c0d56e9829ea060f0895c700c355d19e459	12.8 KB
pr_number	144 Bytes