certora

feat: add plasma ccip chain id #11

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request September 11, 2025 20:39

sendra

opened #112

bgd-labs:feat/plasma-ccip

Status Skipped

Total duration 1s

Artifacts –

certora-review.yml

on: pull_request