1
83%
master: 83%

Ran 20 Apr 2023 02:58PM UTC

Files 5

Run time 9s

Badge

Committed 20 Apr 2023 02:58PM UTC coverage: 81.986%. Remained the same

Build Type

push

github

Committed by Jakub Jankiewicz

Commit Message

fix types for term::push() #877

Run Details

3005 of 4030 branches covered (74.57%)

5161 of 6295 relevant lines covered (81.99%)

8536.35 hits per line