certora-basic

doc: Add security review reports #11

Triggered via pull request July 7, 2025 18:30

yan-man

synchronize #22

docs/audits

Status Success

Total duration 3m 35s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-754a6221-7287-4690-aaaa-bd78dfb623a1-16124955640 Expired	27 KB	`sha256:4565b2dfb71fb92a10e0f7ccc5818f30a4b7ec878245be6f7b9c6e09d976413e`