Ok, it did not release to central correctly. I have rerun the job and it says it has succeeded.

On Thu, Aug 6, 2020 at 10:30 AM Matej Novotny <manovotn@redhat.com> wrote:

Well, I cannot even see the previous one in Central, which is RC1 and I suppose that one should have been save to release at this point.