certora-stata

Horizon RWA deployment #53

Triggered via pull request August 13, 2025 06:51

avniculae

synchronize #24

Status Success

Total duration 3m 48s

Artifacts 1

certora-stata.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-3e31fdaf-aefb-4aa9-b0f2-005b86fa6d25-16929818214 Expired	26.2 KB	`sha256:207b70927bd4e610b5366cbe77117fe707d7e83ec1aeb44a63460fd5f8500971`