formal verification

docs(governance): fix ethers.js v5 API usage in code example #9247

Sign in to view logs

Triggered via pull request January 5, 2026 13:29

Amxx

labeled #6248

letmehateu:update-ethers.js-api

Status Cancelled

Total duration 3s

Artifacts –

formal-verification.yml

on: pull_request

Annotations

1 error

formal verification

Canceling since a higher priority waiting request for formal verification-refs/pull/6248/merge exists