Skip to content
certora-steward

Gelato Oracle Swap Freezer #69

Sign in to view logs

Gelato Oracle Swap Freezer

Gelato Oracle Swap Freezer #69

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

certora-steward.yml

on: pull_request
verify
42s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-7fc77afb-c3fb-416e-b89a-abef438435be-18971456041
5.93 KB
sha256:f0870fb3626480106015451a760c2be713aa396c625c56b722ce9558df9cc714