1
95%
master: 95%

Ran 09 Aug 2024 07:46PM UTC

Files 73

Run time 3s

Badge

Committed 09 Aug 2024 07:37PM UTC coverage: 95.097% (+0.03%) from 95.07%

Build Type

github

Committed by

Commit Message

[RM] Update docs/installation.md

Co-authored-by: Philip Salzmann <philip.salzmann@uibk.ac.at>

Run Details

3015 of 3414 branches covered (88.31%)

Branch coverage included in aggregate %.

6624 of 6722 relevant lines covered (98.54%)

1493327.64 hits per line