1
85%
master: 85%

Ran 05 Nov 2025 03:09PM UTC

Files 43

Run time 5s

Badge

Committed 05 Nov 2025 03:05PM UTC coverage: 83.539% (+0.01%) from 83.529%

Build Type

push

github

Committed by

Commit Message

chore: add remote typing (#744)

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

Run Details

1000 of 1469 branches covered (68.07%)

4339 of 5194 relevant lines covered (83.54%)

0.84 hits per line