Skip to content
formal verification

Migrate to Hardhat 3 #10127

Sign in to view logs

Migrate to Hardhat 3

Migrate to Hardhat 3 #10127

Triggered via pull request May 6, 2026 14:00
@AmxxAmxx
synchronize #6317
Amxx:hardhat3
Status Success
Total duration 7m 37s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
4s
apply-diff
verify
0s
verify
halmos
7m 25s
halmos
Fit to window
Zoom out
Zoom in