Skip to content

Certora Review

Certora Review #50

Triggered via pull request September 23, 2024 18:37
@nisnislevinisnislevi
synchronize #7
certora
Status Failure
Total duration 4m 39s
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
f04eef0bc396ce8d863380d51e2563d2d2bfaea0 Expired
13.4 KB
pr_number Expired
144 Bytes