Had to fix the CI somehow :/