0.007s:+ wget -O orb.deb https://builds.robur.coop/job/orb/build/latest/f/bin/orb.deb?platform=ubuntu-20.04
0.010s:--2022-03-09 00:44:03--  https://builds.robur.coop/job/orb/build/latest/f/bin/orb.deb?platform=ubuntu-20.04
3.260s:Resolving builds.robur.coop (builds.robur.coop)... failed: No address associated with hostname.
3.260s:wget: unable to resolve host address 'builds.robur.coop'