Skip to content
certora-gho

Gelato Oracle Swap Freezer #68

Sign in to view logs

Gelato Oracle Swap Freezer

Gelato Oracle Swap Freezer #68

Triggered via pull request October 31, 2025 11:40
@miguelmtzinfmiguelmtzinf
synchronize #15
feat/gelato-swap-freezer
Status Success
Total duration 1m 22s
Artifacts 1

certora-gho.yml

on: pull_request
verify
1m 18s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-1be70715-e400-42bc-99a9-8ad515b7a5d9-18971456056
24.8 KB
sha256:d29fbbfd91a5d0f1644afa1c6fb990e5219650e9bf436f70ac7edb3dd3fb6686