certora-basic

feat: Phase Two Asset Listing #124

Triggered via pull request November 4, 2025 14:55

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 3m 27s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-184e8f8f-a9eb-4c44-a926-00d436caff5e-19072824326 Expired	29.5 KB	`sha256:543b524f3d7c1e8fcf40d7cd654c6897ec40454be1edab7e46222bf8d6200002`