Skip to content
certora-gsm

Gelato Oracle Swap Freezer #70

Sign in to view logs

Gelato Oracle Swap Freezer

Gelato Oracle Swap Freezer #70

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

certora-gsm.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-41d96737-b968-4517-9166-00289f095058-19048709268
23.2 KB
sha256:ed52e12e21e8a14e758d26d37f8ff4f4b11fd15a53bfcd3ee8ff3b01681aaa20