certora-gho

Fix certora properties on Gelato Swap Freezer #76

Triggered via pull request November 12, 2025 10:59

opened #18

Status Success

Total duration 1m 25s

Artifacts 1

certora-gho.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-7c8b43a8-6795-4cbe-a66d-7c88159a02c7-19295110374	24.8 KB	`sha256:70506c235682d349418451e45cef5c993925372e59f366a06c6e138bfc0335f7`