Spelling

feat(spec): Proofs spec #570

Sign in to view logs

Triggered via pull request June 24, 2024 14:07

synchronize #198

josef/proofs-in-blocks

Status Failure

Total duration 18s

Billable time 1m

Artifacts –

codespell.yml

on: pull_request

Annotations

1 error and 1 warning

Check spelling

Process completed with exit code 2.

Check spelling: specs/quint/specs/proofs-in-blocs/proofs.qnt#L134

"bouned" should be "bounded".