source-academy / js-slang / 8477364389 / 1

77%

master: 77%

push

github

bumping; also: undoing accidental removal of ev3 tooltips (#1618)

3222 of 4359 branches covered (73.92%)

Branch coverage included in aggregate %.

10620 of 12662 relevant lines covered (83.87%)

128897.09 hits per line