certora-gho

Gelato Oracle Swap Freezer #67

Triggered via pull request October 31, 2025 11:22

synchronize #15

Status Success

Total duration 1m 35s

Artifacts 1

certora-gho.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-a4a913d8-230a-4dca-8035-fad670a2f087-18971060753	24.8 KB	`sha256:511ed991120c81d496bccf4cce9c6b072d0252b5cb5d530b0471075791173eda`