[12:37] <mamarley> apw: It looks like the mainline kernel image for 4.12.7 never built.  It has been 10 hours since it was tagged and it still doesn't show up.