Skip to content
certora-steward

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

certora-steward.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-7e1f9ec0-208a-4e85-a445-67d1a1d69bd5-18972790472
5.94 KB
sha256:25f9205887fa40e5fd603c48622cd83f6794ac54a744ca6521f5fcea77562dc2