15728946301
65%
master: 65%

Ran 18 Jun 2025 09:29AM UTC

Jobs 1

Files 486

Run time 7min

Badge

Committed 18 Jun 2025 09:18AM UTC coverage: 65.349% (-0.007%) from 65.356%

Build Type

github

Committed by

Commit Message

minor : add missing include in context solver

Run Details

14 of 14 new or added lines in 2 files covered. (100.0%)

12 existing lines in 1 file now uncovered.

81198 of 124253 relevant lines covered (65.35%)

1457126.93 hits per line

Lines	Coverage	∆	File
12	60.9	-1.79%	src/mcsat/nra/nra_plugin_explain.c

ID	Job ID	Ran	Files	Coverage
1	15728946301.1	18 Jun 2025 09:29AM UTC	486	65.35	GitHub Action Run