Skip to content
certora-gsm-4626

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 2m 19s
Artifacts 1

certora-gsm-4626.yml

on: pull_request
verify
2m 15s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-372c0c5f-787f-414f-a713-cfcb31a05cf5-18971456076
28.1 KB
sha256:697960e3033f7e29cb3f3db4b0b31c7b10c3edbd4344d8763fd93bff51431a0f