certora-basic

doc: Add security review reports (#22) #13

Triggered via push July 8, 2025 12:44

yan-man

main

Status Success

Total duration 3m 16s

Artifacts 1

certora-basic.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-65f4e3ad-9260-43a6-9fef-d978248e5e0b-16143574520 Expired	27.1 KB	`sha256:856662507e089255d7971c51c7fa6184012e6f5f9f875889a101722471285599`