Skip to content

Afo/dual verifier #3474

Afo/dual verifier

Afo/dual verifier #3474

Triggered via pull request November 22, 2024 11:00
Status Failure
Total duration 16s
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".