Skip to content
certora-gho

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 12:39
@miguelmtzinfmiguelmtzinf
synchronize #15
feat/gelato-swap-freezer
Status Success
Total duration 1m 20s
Artifacts 1

certora-gho.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-a7d678fc-79b8-4b70-9e99-0868bc203ba8-18972790489
24.8 KB
sha256:ec7b115ef82798930d66fcd6deb4d5d168659e94aa99e3288f83e9c14eeae879