Skip to content
certora-basic

feat: Phase Two Asset Listing #124

Sign in to view logs

feat: Phase Two Asset Listing

feat: Phase Two Asset Listing #124

Triggered via pull request November 4, 2025 14:55
@yan-manyan-man
synchronize #37
feat/phase-two-listing
Status Success
Total duration 3m 27s
Artifacts 1

certora-basic.yml

on: pull_request
verify
3m 22s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-184e8f8f-a9eb-4c44-a926-00d436caff5e-19072824326
29.5 KB
sha256:543b524f3d7c1e8fcf40d7cd654c6897ec40454be1edab7e46222bf8d6200002