Skip to content

Update the auto report template based on CERT-7834#62

Merged
liav-certora merged 3 commits intomainfrom liav/cert-7834-update-templateJan 2, 2025

Commits

Commits on Jan 1, 2025