certora-steward

Gelato Oracle Swap Freezer #67

Triggered via pull request October 31, 2025 11:18

opened #15

Status Success

Total duration 48s

Artifacts 1

certora-steward.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-1bd8f640-f84e-4457-9b0f-b056a0188f79-18970950343	5.93 KB	`sha256:944435f5e3512cafe17d13201154f83a5593ddca88b75b5d947e6611cf7e639c`