0.005s:+ wget -O orb.deb https://builds.robur.coop/job/orb/build/latest/f/bin/orb.deb?platform=ubuntu-20.04
0.008s:--2023-02-27 13:22:57--  https://builds.robur.coop/job/orb/build/latest/f/bin/orb.deb?platform=ubuntu-20.04
10.025s:Resolving builds.robur.coop (builds.robur.coop)... failed: Temporary failure in name resolution.
10.025s:wget: unable to resolve host address 'builds.robur.coop'