Skip to content
Certora

Remove error messages from init library to optimize size (#18) #163

Sign in to view logs

Remove error messages from init library to optimize size (#18)

Remove error messages from init library to optimize size (#18) #163

Re-run triggered April 10, 2025 18:21
@sunbreak1211sunbreak1211
4339698
one-direction
Status Failure
Total duration 33s
Artifacts –

certora.yml

on: push
Matrix: Certora
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Certora (sky)
Process completed with exit code 2.
Certora (mkr-sky)
Process completed with exit code 2.