fix: CI is now working again
fix: CI is now working again

Fixes 32

Signed-off-by: Sebastian Niemann <c15bc648238b8fcefd2112b1efddcb822e686c46@sra.uni-hannover.de>
Mantella/Mantella,Mantella/Mantella,Mantella/Mantella,SebastianNiemann/Mantella,SebastianNiemann/Mantella,SebastianNiemann/Mantella