push
github
19 of 19 new or added lines in 1 file covered. (100.0%)
11715 of 15738 relevant lines covered (74.44%)
6994.3 hits per line
The file "sile" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.