7
84%
master: 84%

Ran 10 Apr 2024 04:17AM UTC

Files 95

Run time 3s

Badge

Committed 10 Apr 2024 04:14AM UTC coverage: 67.868%. Remained the same

Build Type

push

github

Committed by

Commit Message

feature(framework): property test language and max-time (#767)

fixes #618

Run Details

53 of 99 branches covered (53.54%)

Branch coverage included in aggregate %.

173 of 234 relevant lines covered (73.93%)

750.42 hits per line