Skip to content
certora-basic

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

certora-basic.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-ae3fef0b-5260-4a3e-9125-6a5214ed283d-16111660401 Expired
27 KB
sha256:4f1435df59916109bca8b71c78ee162cd9e0abe89224340f2d6d06f830e4591b