certora-stata

feat: Phase Two Asset Listing #110

Triggered via pull request October 30, 2025 01:37

yan-man

opened #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-5c278881-6d6c-4619-ac10-b441968a0dd3-18927133342 Expired	29.6 KB	`sha256:d1705473b1d96813e2b8b149052ff80e397c2f3f92ea795ca9a5e418f917214e`