Skip to content
certora-basic

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 3m 16s
Artifacts 1

certora-basic.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-e86f83c6-1ee6-4e70-976a-4565879881ba-16112105246 Expired
27 KB
sha256:539c4ae7ba739eeacbc537a48447bc3ea0aebe3af3551ad20ff54126dd167436