Set up CI#13

LukaSavkov wants to merge 2 commits into

c12s:masterc12s/magnetar:masterfrom

LukaSavkov:masterLukaSavkov/magnetar:masterCopy head branch name to clipboard