Skip to content
Certora

Fix StayHealthy timeout #594

Sign in to view logs

Fix StayHealthy timeout

Fix StayHealthy timeout #594

Triggered via pull request October 22, 2024 12:55
@QGarcheryQGarchery
synchronize #697
certora/timeout-stayhealthy
Status Success
Total duration 7m 35s
Artifacts –

certora.yml

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