certora-basic

Horizon RWA deployment #50

Triggered via pull request August 12, 2025 12:09

avniculae

synchronize #24

Status Success

Total duration 3m 45s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-91b20890-41eb-417c-98c7-3412b06d92f9-16908389826 Expired	26.9 KB	`sha256:6f28f004bb15024393c4e8998d69e4bbd0b3bdb6c76e5248a7710cf277d7acdd`