certora-gsm

Gelato Oracle Swap Freezer #67

Triggered via pull request October 31, 2025 11:22

synchronize #15

Status Failure

Total duration 1m 2s

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-3269e1c1-8cff-43e5-96f3-25caaa3f96c3-18971060767	9.63 KB	`sha256:c0afb1b93414c9bbb3f7df24d3eda0e1c5b1c5aa1c6076370ee757a11242876f`