push
github
8 of 11 new or added lines in 6 files covered. (72.73%)
179 existing lines in 21 files now uncovered.17120 of 26810 relevant lines covered (63.86%)
31.53 hits per line
The file "State/Options.php" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.