Skip to content
Certora

[Certora] Fix timeouts #340

Sign in to view logs

[Certora] Fix timeouts

[Certora] Fix timeouts #340

Triggered via pull request June 20, 2024 12:32
@QGarcheryQGarchery
synchronize #421
certora/fix-timeouts
Status Success
Total duration 1h 30m 56s
Artifacts –

certora.yml

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