certora-steward

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

Triggered via push November 12, 2025 12:05

main

Status Success

Total duration 1m 9s

Artifacts 1

certora-steward.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-2309679b-53e8-42c3-8d38-00b509167bd9-19296816672	5.94 KB	`sha256:8852c7818757ce72aa41c5b22fb37e9c6c1e8d294e4e5ff1207863f7f7f0ec26`