Do we want to switch to debian buster for CI?
CI was broken for quite a few days. I've one merge request should get it fixed:
I guess debian testing will change frequently, this kind of thing could help again. How about switch to debian buster which was just released several months ago?