pi-base / compile / 7110263832 / 1

82%

master: 82%

push

github

pass through mathlib prop

60 of 92 branches covered (0.0%)

Branch coverage included in aggregate %.

161 of 177 relevant lines covered (90.96%)

7.37 hits per line