certora-steward

Gelato Oracle Swap Freezer #68

Triggered via pull request October 31, 2025 11:22

synchronize #15

Status Success

Total duration 1m 4s

Artifacts 1

certora-steward.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-13d1c305-efa8-4789-a7d7-6d245ee7acca-18971060742	5.93 KB	`sha256:505719a2fd4b1f4f4bd35dd54e40ef5b619ad863958d26ac79c5835427e04f85`