certora

feat: Add plasma network #8

Sign in to view logs

Triggered via pull request August 27, 2025 13:51

sendra

synchronize #111

bgd-labs:feat/plasma

Status Skipped

Total duration 1s

Artifacts –

certora-review.yml

on: pull_request