Hi, several component have are broken builds on the master branch. Should be change our policy for pushing to master to a pull request based model, where each change has to pass the CI pipeline first? I think this would be better as pushing stuff to master and then fixing it afterwards.
Benedikt
