certora-basic

Horizon RWA deployment #22

Triggered via pull request July 18, 2025 09:31

avniculae

synchronize #24

Status Success

Total duration 3m 14s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-4a282107-dcca-406c-b41c-24c14bcc52bf-16367214725 Expired	27.1 KB	`sha256:c51637d0fe3431304c93eed95237638515d3b53c16c5dc906b769e54b6101f10`