It looks like the email address for the build user has been made private. We should be able to use the @users.noreply.github.com address instead.