1
93%
master: 93%

Ran 23 Oct 2023 08:57PM UTC

Files 74

Run time 3s

Badge

Committed 23 Oct 2023 08:42PM UTC coverage: 91.217% (-0.001%) from 91.218%

Build Type

push

github

Committed by

Commit Message

Fix some typos and grammatical errors in documentation (#779)

Fix a few errors I noticed while reading about FSM coverage.

Run Details

49622 of 54400 relevant lines covered (91.22%)

588813.49 hits per line