Major improvement to build times

Major improvement to build times: Test results via git push should now be rendered with a close-to-zero delay.

The delay was previously ~20s, and now it is down to <5 seconds.