Skip to content
certora-stata

doc: Add security review reports #7

Sign in to view logs

doc: Add security review reports

doc: Add security review reports #7

Triggered via pull request July 7, 2025 08:18
@miguelmtzinfmiguelmtzinf
synchronize #22
docs/audits
Status Success
Total duration 4m 11s
Artifacts 1

certora-stata.yml

on: pull_request
verify
4m 3s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-eec289f3-a1e3-4231-925d-83bf9c409f0c-16111660394 Expired
26.5 KB
sha256:90adc34119b56b87df4028e05d1ddb16ada625ff0e374c14947160f012579eac