We cut our CI pipeline execution time in half · HackerTrans