Move makefile accordingly
Passed
Janne Mareike Koschinski
created pipeline for commit
f5d9fd27
, finished
For main
1 minute 15 seconds, queued for 20 seconds