Skip to content

Certora Review

Certora Review #51

Triggered via pull request September 30, 2024 19:58
@nisnislevinisnislevi
synchronize #7
certora
Status Failure
Total duration 4m 38s
Artifacts 2

test.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
lint
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
3e5648fefab9defa61f4eff524ebcf54a53f5a77
13.9 KB
pr_number
144 Bytes