0.088s:+ wget -O orb.deb https://builds.robur.coop/job/orb/build/latest/f/bin/orb.deb?platform=debian-11
0.088s:--2025-01-10 19:25:39--  https://builds.robur.coop/job/orb/build/latest/f/bin/orb.deb?platform=debian-11
0.088s:Resolving builds.robur.coop (builds.robur.coop)... 193.30.40.138
0.090s:Connecting to builds.robur.coop (builds.robur.coop)|193.30.40.138|:443... connected.
75.865s:HTTP request sent, awaiting response... 502 Bad gateway
75.865s:2025-01-10 19:26:55 ERROR 502: Bad gateway.
75.865s: