certora

feat: Added scripts readme #13

Sign in to view logs

Triggered via pull request September 17, 2025 10:57

sendra

opened #113

bgd-labs:feat/scripts-readme

Status Skipped

Total duration 1s

Artifacts –

certora-review.yml

on: pull_request