certora-gsm

Gelato Oracle Swap Freezer #66

Triggered via pull request October 31, 2025 11:18

opened #15

Status Failure

Total duration 1m 19s

Artifacts 1

certora-gsm.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size	Digest
certora-run-logs-12a20651-b1fc-42d0-be38-180edd53f112-18970950328	9.62 KB	`sha256:f72bddb920c3717ca2110090260fa950961dbd7c7f4c4e22671e1a4d6686b17c`