See #1002.

All PR validation checks are green, but the PR has API errors.

It must be recent regression with the build validation, something like #988 could be related, but I haven't checked when it started to fail.

We must fix that ASAP, otherwise we might blindly merge some broken API...