Skip to content
certora-steward

Gelato Oracle Swap Freezer #71

Sign in to view logs

Gelato Oracle Swap Freezer

Gelato Oracle Swap Freezer #71

Triggered via pull request November 3, 2025 20:41
@miguelmtzinfmiguelmtzinf
synchronize #15
feat/gelato-swap-freezer
Status Success
Total duration 50s
Artifacts 1

certora-steward.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-49fd2b9a-a834-4250-9536-30e0b3f24c23-19048709269
5.93 KB
sha256:c7f075d8783de7e752d5b11a82e555bd4b4f2d25d8996d1466742aee302779ef