Major improvement to build times
improved
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.