Gelato Oracle Swap Freezer #67

Triggered via pull request October 31, 2025 11:18

opened #15

Status Success

Total duration 2m 16s

Artifacts 1

certora-gsm-4626.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-cd175ed2-d97e-4c43-9d8a-1233684177a2-18970950334	28.1 KB	`sha256:c77ec150a182408913092854a952d54a55e508372af14ec514de762ff4e3ab2e`