certora-stata

feat: Phase Two Asset Listing #123

Triggered via pull request October 31, 2025 01:48

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 4m 5s

Artifacts 1

certora-stata.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-797bb13f-a119-450a-87ca-4e3d8849af15-18960210865 Expired	29.6 KB	`sha256:974dd0f4d77d5d54284e79b6a3b030dce6051e8b09b4dbed9c7e6bf3cbc69f7d`