I don't know what's going on there. This might be a case of that SELinux proposal doing something wrong; it's relatively new. Or it might simply be very slow with one of the actions that it performs when recreating its proposal, so the timeout on the OpenQA side isn't long enough. AFAICs somebody will have to dig deep into debugging this.