The vagrant issues in that thread look familiar,
The docker build is proceding so am guessing it's one of the dependancies that got installed in the docker container. PGP validation seems to working without issue but still going.
From past experience, if it's installing the toolchain without issue, it's fine.
Thanks!