8
85%
master: 85%

Ran 05 Nov 2025 03:09PM UTC

Files 43

Run time 3s

Badge

Committed 05 Nov 2025 03:05PM UTC coverage: 83.514% (+0.01%) from 83.504%

Build Type

push

github

Committed by

Commit Message

chore: add remote typing (#744)

Signed-off-by: Henry Schreiner <henryfs@princeton.edu>

Run Details

998 of 1469 branches covered (67.94%)

4321 of 5174 relevant lines covered (83.51%)

0.84 hits per line