The Travis-CI pipeline is non-functional right now. An alternative CI solution needs to be found and put in place.