certora-gho

fix: Fix Certora spec on Gelato Swap Freezer (#18) #77

Triggered via push November 12, 2025 12:05

main

Status Success

Total duration 1m 33s

Artifacts 1

certora-gho.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-c2bf993c-0eb9-4e01-a1b5-4983e8d35684-19296816661	24.9 KB	`sha256:3430554102a579f2c05c37f0b4f130661783e0c0cb70838bf587bf7951a70fc0`