117
91%
main: 91%

Ran 30 Jul 2023 03:24AM UTC

Jobs 1

Files 9

Run time 1s

Badge

Build # 117

Build Type

github

Committed by

Commit Message

Merge d9ced6cd1 into 8157102c0

Run Details

39 of 39 new or added lines in 8 files covered. (100.0%)

526 of 580 relevant lines covered (90.69%)

24.49 hits per line

Lines	Coverage	∆	File
1	94.74		src/enum.ml
1	62.5	-8.93%	src/error.ml
2	81.82		src/deriver_enum.ml

ID	Job ID	Ran	Files	Coverage
1	117.1	30 Jul 2023 03:24AM UTC	9	90.69	GitHub Action Run