certora-stata

feat: Phase Two Asset Listing #122

Triggered via pull request October 30, 2025 19:24

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 4m 4s

Artifacts 1

certora-stata.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-492d3459-c05d-4225-8a4c-54426bb0c105-18952637749 Expired	29.6 KB	`sha256:e0e9c5f8403a371d811286113fe4270654daf8295853ba5b0eaf2d9d4e12b002`