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-02-19 13:17:45--  https://builds.robur.coop/job/orb/build/latest/f/bin/orb.deb?platform=ubuntu-20.04
10.023s:Resolving builds.robur.coop (builds.robur.coop)... failed: Temporary failure in name resolution.
10.023s:wget: unable to resolve host address 'builds.robur.coop'