certora-gho

Gelato Oracle Swap Freezer #70

Triggered via pull request November 3, 2025 20:41

synchronize #15

Status Success

Total duration 1m 14s

Artifacts 1

certora-gho.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-a7683bf9-58fc-4181-82b5-5c2c8c40ff07-19048709242	24.8 KB	`sha256:225c3947f92b0b7e2da8b01d8cc6ff0149c05d9f44b830c6ba4746d6dd61b862`