@pberta, @jmaurer, I think that should fix spurious CI issues. I'd recommend to set it to auto-merge.