certora-basic

feat: Phase Two Asset Listing #111

Triggered via pull request October 30, 2025 01:53

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 3m 42s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-48c8bcf4-006b-4377-9cb6-ceda2c889baf-18927378575 Expired	29.5 KB	`sha256:d80ced43cca162c2e0d596de7fcb511ad3ceeba5119f015c1ffe7fea2f933140`