Show CI results

[Matthew Schinckel]

It would be really useful to see the CI status on commits and Pull Requests, particularly the latter. It's somewhat time consuming to have to lead up the web interface to see if a PR has passed tests and is ready for merging.