Skip to content
certora-steward

Fix certora properties on Gelato Swap Freezer #77

Sign in to view logs

Fix certora properties on Gelato Swap Freezer

Fix certora properties on Gelato Swap Freezer #77

Triggered via pull request November 12, 2025 10:59
@miguelmtzinfmiguelmtzinf
opened #18
certora/gelato-swap-freezer-fix
Status Success
Total duration 44s
Artifacts 1

certora-steward.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-c75aa533-5bbd-42f5-9f34-8c729f8b963b-19295110373
5.94 KB
sha256:50b4053c829cc8de1dd8b4deb040a8ea15ffcbbd6fafad1104e856106e95b069