2
54%
master: 54%

Ran 05 Apr 2021 07:52PM UTC

Files 13

Run time 2s

Badge

Committed 05 Apr 2021 06:00PM UTC coverage: 54.399%. Remained the same

Build Type

push

travis-ci-com

Committed by

Commit Message

docs.idris-lang.org (#19998)

Run Details

102 of 287 branches covered (35.54%)

Branch coverage included in aggregate %.

572 of 952 relevant lines covered (60.08%)

2.32 hits per line