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

Triggered via push November 12, 2025 12:05

main

Status Success

Total duration 2m 8s

Artifacts 1

certora-gsm-4626.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-cffbd5de-adb7-4078-b29c-4214e5debb6b-19296816700	28.2 KB	`sha256:96a67af60b8a99e8a1a93bfc4f8cea2821a53153ee743035468d1572b5e35c5b`