Fix CI/CD

Edited by Lukas Gehrke