Caching the compilation with ccache should greatly reduce the CI build times (which is currently around 30 minutes).