The nightly builds are currently failing for a different reason. See
I’ll comment on the PR separately.