1
91%
main: 91%

Ran 22 May 2023 04:08PM UTC

Files 738

Run time 18s

Badge

Committed 22 May 2023 04:08PM UTC coverage: 85.034% (+0.01%) from 85.023%

Build Type

push

github

Committed by GitHub

Commit Message

Weight proof typing (#15316)

Run Details

9753 of 11667 branches covered (83.59%)

Branch coverage included in aggregate %.

75781 of 88921 relevant lines covered (85.22%)

0.85 hits per line