certora-stata

feat: Phase Two Asset Listing #113

Triggered via pull request October 30, 2025 13:51

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 4m 56s

Artifacts 1

certora-stata.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-25531059-e38d-4c00-ae9b-63bf87b2ed32-18942958612 Expired	29.6 KB	`sha256:07eb07bc8f3a798786536da136d2f1c5d0b1bd8e0a83ef94bc1125bfd7f45a1d`