0.088s:+ wget -O orb.deb https://builds.robur.coop/job/orb/build/latest/f/bin/orb.deb?platform=debian-11
0.088s:--2022-03-17 17:10:37--  https://builds.robur.coop/job/orb/build/latest/f/bin/orb.deb?platform=debian-11
20.151s:Resolving builds.robur.coop (builds.robur.coop)... failed: Temporary failure in name resolution.
20.151s:wget: unable to resolve host address 'builds.robur.coop'