certora-stata

feat: Phase Two Asset Listing #118

Triggered via pull request October 30, 2025 15:10

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 4m 15s

Artifacts 1

certora-stata.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-94a9aa1c-4735-43de-b85f-82154578bbab-18945439268 Expired	29.6 KB	`sha256:72c64d998f9b920fe3b87a4cba79ce0b9e584ba81884e19e80daded149e99999`