Do the

koji list-builds --package=kernel --after="2021-11-12" | grep "5.15

command, it was actually build on 12th.
---
Best regards, Alex

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Monday, November 15th, 2021 at 13:29, Richard Shaw <hobbes1069@gmail.com> wrote:
I can go to the koji web interface and see the kernel in f35-updates-candidate running:

koji list-builds --package=kernel --after="2021-11-13" | grep "5.15"

Produces no results. 

Thanks,
Richard