Skip to content
certora-stata

doc: Add security review reports #8

Sign in to view logs

doc: Add security review reports

doc: Add security review reports #8

Triggered via pull request July 7, 2025 08:39
@miguelmtzinfmiguelmtzinf
synchronize #22
docs/audits
Status Success
Total duration 4m 7s
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-160ac6d2-74d5-4b40-a336-b9a940384fc4-16112105239 Expired
26.4 KB
sha256:1f51c7e732659dc165c4c405425442ac8dc666689848dfaf896a44450df3cda0