certora-basic

feat: Phase Two Asset Listing #122

Triggered via pull request October 30, 2025 19:24

yan-man

synchronize #37

feat/phase-two-listing

Status Success

Total duration 3m 31s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-5150dde6-b2cd-4516-ae05-f99d177006dc-18952637743 Expired	29.4 KB	`sha256:e9ad57fbecb2146cabea309bde759dd2e29abf811f048a330c84fee6ff0aa249`