certora-basic

Feat/horizon rwa deployment #59

Triggered via pull request August 21, 2025 08:31

avniculae

opened #26

Status Success

Total duration 3m 30s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-eb089271-6a12-4bfe-a006-263cf0ee5bed-17121551603 Expired	26.8 KB	`sha256:cea10ce57cefd797fcb33af9cbe0fbc3f756c72d9440854361a8e448bb4d0a9d`