certora-basic

Horizon RWA deployment #51

Triggered via pull request August 12, 2025 15:20

avniculae

synchronize #24

Status Success

Total duration 3m 24s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-2bbc29cf-6d98-4c36-aa3e-39d7859b0fca-16913243992 Expired	27 KB	`sha256:a222e07bab4cd07e3384f10eb556892269a3c36d9d8275d6b3de92a13a75e4a6`