certora-basic

Horizon RWA deployment #21

Triggered via pull request July 18, 2025 08:52

avniculae

synchronize #24

Status Success

Total duration 3m 8s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-5c03ad9b-8ed5-45d8-9683-ab86d4fdb5df-16366435252 Expired	27.1 KB	`sha256:8ca45a650a1085743d1fd10735d6d3b5e343b2cb39e314974826eb3466014b9a`