certora-basic

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 4s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-4942da67-badf-4966-ad2f-d3f152b1763c-18927133350 Expired	29.5 KB	`sha256:0715bc6eaf91991997e5316ee329ebeeb585022c34aee01d17b88cd9e92fd6cb`