6618801686
92%

Ran 23 Oct 2023 08:57PM UTC

Jobs 1

Files 74

Run time 4s

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

Lines	Coverage	∆	File
2	88.61	-0.18%	src/thread.c
6	97.25	0.0%	src/cgen.c
141	96.77	0.0%	src/lower.c
185	58.22	0.0%	src/nvc.c

ID	Job ID	Ran	Files	Coverage
1	6618801686.1	23 Oct 2023 08:57PM UTC	74	91.22	GitHub Action Run