11
100%
master: 100%

Ran 18 Jun 2022 03:08PM UTC

Files 5

Run time 0s

Badge

Committed 18 Jun 2022 03:06PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by John Haugeland

Commit Message

one more facile doc commit to trigger a remote build, maybe there, definitely close

Run Details

301 of 301 branches covered (100.0%)

Branch coverage included in aggregate %.

492 of 492 relevant lines covered (100.0%)

3262.48 hits per line