Skip to content
certora-gsm-4626

Gelato Oracle Swap Freezer #70

Sign in to view logs

Gelato Oracle Swap Freezer

Gelato Oracle Swap Freezer #70

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

certora-gsm-4626.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-6c8576b8-e2d7-4cd5-b510-8431aa03d98e-18972790483
28.2 KB
sha256:a05de8e71ef13966a18a9aee767371efe7ed7e21d0ebf32994f79014bacc3503