Gelato Oracle Swap Freezer #71

Triggered via pull request November 3, 2025 20:41

synchronize #15

Status Success

Total duration 2m 25s

Artifacts 1

certora-gsm-4626.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-932d542e-bc91-45a7-8abc-2e63c1a4d3b3-19048709273	28.1 KB	`sha256:218fdaea8161f1a7eea56a9aa6acd11418a320a9a4a0483ca5aca586a82e4806`