certora-gho

Gelato Oracle Swap Freezer #66

Triggered via pull request October 31, 2025 11:18

opened #15

Status Success

Total duration 1m 20s

Artifacts 1

certora-gho.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-1c5409f9-ef96-41fa-8e63-97ae64985948-18970950324	24.8 KB	`sha256:b4a335076e481e24d83c35711e912304ac67f9e6eb5e80f5b4b48187fb0f8670`