Skip to content
Certora

[Certora] Fix timeouts #337

Sign in to view logs

[Certora] Fix timeouts

[Certora] Fix timeouts #337

Triggered via pull request June 11, 2024 15:21
@QGarcheryQGarchery
synchronize #421
certora/fix-timeouts
Status Failure
Total duration 2h 4m 8s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

3 errors
verify (Reverts)
Process completed with exit code 1.
verify (Liveness)
Process completed with exit code 1.
verify (Enabled)
Process completed with exit code 1.