Codespell

feat(spec): WIP: Draft of Quint reset protocol #210

Sign in to view logs

Triggered via pull request April 18, 2024 13:25

synchronize #174

josef/resetQuint

Status Failure

Total duration 23s

Billable time 1m

Artifacts –

codespell.yml

on: pull_request

Annotations

4 errors

Check spelling: specs/quint/specs/reset.qnt#L3

limitting ==> limiting

Check spelling: specs/quint/specs/reset.qnt#L4

unsuccesful ==> unsuccessful

Check spelling: specs/quint/specs/reset.qnt#L69

actuall ==> actually, actual

Check spelling: specs/quint/specs/reset.qnt#L198

heighest ==> highest