11149077147
65%

Ran 02 Oct 2024 06:09PM UTC

Jobs 1

Files 486

Run time 2min

Badge

Committed 02 Oct 2024 06:00PM UTC coverage: 65.924% (+0.001%) from 65.923%

Build Type

push

github

Committed by

Commit Message

check cached value if it must be decided (#531)

Run Details

6 of 6 new or added lines in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

81610 of 123795 relevant lines covered (65.92%)

1501438.79 hits per line

Lines	Coverage	∆	File
1	77.64	-0.01%	src/mcsat/nra/nra_plugin.c

ID	Job ID	Ran	Files	Coverage
1	11149077147.1	02 Oct 2024 06:09PM UTC	1696	66.67	GitHub Action Run