solidity

feat: Update Certora Formal Verification Tests #137

Sign in to view logs

Re-run triggered January 2, 2025 19:14

ccip-gho

Status Success

Total duration 9m 44s

Artifacts –

tests.yml

on: push

Matrix: tests