certora-basic

Horizon RWA deployment #23

Triggered via pull request July 18, 2025 10:17

avniculae

synchronize #24

Status Success

Total duration 3m 31s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-4f10b11f-d290-41ca-8a0b-07d092fff3a2-16368109319 Expired	27 KB	`sha256:1eb5ae7216acd17dd71b49b09b2fbfea31793cf01d25334e371d5f958d2c483c`