7057023407
87%

Ran 01 Dec 2023 07:43AM UTC

Jobs 1

Files 73

Run time 4s

Badge

Committed 01 Dec 2023 07:19AM UTC coverage: 89.828% (-0.006%) from 89.834%

Build Type

push

github

Committed by

Commit Message

update tests for design_space, run notebook for next week smt2 paper release and update setup.py (#488)

Run Details

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

1 existing line in 1 file now uncovered.

6588 of 7334 relevant lines covered (89.83%)

0.9 hits per line

ID	Job ID	Ran	Files	Coverage
1	Test - 7057023407.1	01 Dec 2023 07:43AM UTC	0	89.83

Detailed source file information is not available for this build.