4583747416
98%

Ran 01 Apr 2023 02:53PM UTC

Jobs 1

Files 8

Run time 1s

Badge

Committed 01 Apr 2023 02:53PM UTC coverage: 96.359% (+0.007%) from 96.352%

Build Type

push

github

Committed by Johannes U. Lange

Commit Message

limited the number of threads when computing the MVEE

Run Details

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

1032 of 1071 relevant lines covered (96.36%)

0.96 hits per line

ID	Job ID	Ran	Files	Coverage
1	4583747416.1	01 Apr 2023 02:53PM UTC	8	96.36	GitHub Action Run