certora-basic

Horizon RWA deployment #24

Triggered via pull request July 18, 2025 10:21

avniculae

synchronize #24

Status Success

Total duration 3m 11s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-d5d46fce-8b36-4bd3-a9cf-4222aae6adb8-16368193753 Expired	27 KB	`sha256:2b1f598c638e0c5424bba5cc2943b0b86c9b5891228e88cd3dfb8b5cfef1c19f`