8549911255
66%
master: 65%

Ran 04 Apr 2024 06:01AM UTC

Jobs 1

Files 473

Run time 247min

Badge

Committed 04 Apr 2024 05:50AM UTC coverage: 65.653% (+0.04%) from 65.612%

Build Type

github

Committed by

Commit Message

add missing yices-exit command in a test

Run Details

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

79885 of 121678 relevant lines covered (65.65%)

1435471.5 hits per line

ID	Job ID	Ran	Files	Coverage
1	8549911255.1	04 Apr 2024 06:01AM UTC	0	66.39	GitHub Action Run

Detailed source file information is not available for this build.