certora-gsm

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

Triggered via push November 12, 2025 12:05

main

Status Success

Total duration 2m 43s

Artifacts 1

certora-gsm.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-8be28cd0-9fe0-41cc-8abc-571b9c39713c-19296816667	23.3 KB	`sha256:0d1b67b34dcc045046dbaf8067993c97d821979baeed6bf4e96b802dd8d21e61`