certora-basic

feat: Add Horizon RWA Deployment Scripts #60

Triggered via push August 21, 2025 13: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-b12ad849-b24f-419e-8ae2-ba8e88addb42-17128257158 Expired	26.9 KB	`sha256:d6e9cbae2327f926556e2dac72278b1d7339c73295d660f7a6e5877628b33eb5`