Skip to content

Dual verifier

Dual verifier #3403

Triggered via pull request November 11, 2024 19:04
Status Failure
Total duration 17s
Artifacts

codespell.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
typos
Process completed with exit code 2.
typos: tools/data/fflonk_verifier_contract_template.txt#L1329
"verifer" should be "verifier".