formal verification

fix(utils/Create3): correct verb form in _computeCreateAddress NatSpec #10220

Sign in to view logs

Triggered via pull request May 17, 2026 19:48

Amxx

synchronize #6527

0xAxiom:fix/natspec-would-deploy-create3

Status Success

Total duration 13m 12s

Artifacts –

formal-verification.yml

on: pull_request