certora-basic

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

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-1e1798e4-0c37-4cac-a89f-793ff5441342-18950865828 Expired	29.5 KB	`sha256:5cae68bc1c7c1ad73a5ed89a77eeb197a630d2aa9acbd216f4ef3f486da3ae7a`