certora

feat: Add plasma network #7

Sign in to view logs

Triggered via pull request August 27, 2025 10:40

sendra

opened #111

bgd-labs:feat/plasma

Status Skipped

Total duration 1s

Artifacts –

certora-review.yml

on: pull_request