certora-basic

feat: Phase Two Asset Listing #120

Triggered via pull request October 30, 2025 18:09

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 3m 23s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-0d91da1c-3fa9-4993-b3fd-a341c5c2f384-18950670833 Expired	29.5 KB	`sha256:cf5d7661df9b52f0f65e5987178999851ea3ab161589ce354cf8595dd8411fe0`