certora-basic

feat: Horizon RWA Deployment Scripts #54

Triggered via push August 13, 2025 08:24

avniculae

main

Status Success

Total duration 3m 14s

Artifacts 1

certora-basic.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-b1c094bd-7c04-4bc0-8db0-bf4a661f1fb1-16931768056 Expired	26.8 KB	`sha256:1a492f1b1bd3db40de7f60017e954cbeead7cdb61ab1c344f73c03297920072f`