formal verification

Migrate to Hardhat 3 #10130

Sign in to view logs

Triggered via pull request May 6, 2026 14:54

Amxx

synchronize #6317

Amxx:hardhat3

Status Success

Total duration 12m 49s

Artifacts –

formal-verification.yml

on: pull_request