certora-basic

feat: Phase Two Asset Listing #123

Triggered via pull request October 31, 2025 01:48

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 3m 24s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-00dbca9e-7d4b-46c7-a4a3-bed994526f4e-18960210857 Expired	29.5 KB	`sha256:567cb341cc6072c23bbd70679ad46b616be6ad5cdf93b0e99c683fdf65e77e2d`