push
github
716 of 838 branches covered (85.44%)
Branch coverage included in aggregate %.
5839 of 6891 relevant lines covered (84.73%)
0.85 hits per line
The file "kernel_api/index_space_ids.py" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.