debugging CI errors