certora-stata

feat: Phase Two Asset Listing #121

Triggered via pull request October 30, 2025 18:16

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 3m 48s

Artifacts 1

certora-stata.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-577cb8e4-d96f-4945-b4a9-5873ccd08f26-18950865840 Expired	29.7 KB	`sha256:6b27a7d25c1ab5ee3e6b3c57b6d9d53f8e1275b02d78dd88a3eb83d987f9e207`