certora-review-forwarder

feat: add BOB network #211

Sign in to view logs

Re-run triggered June 4, 2025 13:59

sendra

#108

feat/bob

Status Success

Total duration 5m 36s

Artifacts –

certora-review-forwarder.yml

on: pull_request

Matrix: verify