it seems that CI is only run on PRs but not on main. we should fix this. @larissaschmid could you have a look?