certora-stata

feat: Phase Two Asset Listing #120

Triggered via pull request October 30, 2025 18:09

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 4m 3s

Artifacts 1

certora-stata.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-d9b80b23-89d1-4f5b-a9d7-2343dafca89f-18950670888 Expired	29.6 KB	`sha256:e4b08ea907013350831e9cbf6732c35da15f9844622a25ac34a46e85f9fcd2bc`