CI: Don't stream wget directly into bash
If our environment has pipefail set, bash could exit early before wget has completed, and we will die with a broken pipe. Work around this by first downloading from wget, and then executing from bash.
Signed-off-by: Daniel Stone daniels@collabora.com
I haven't been able to verify that this is exactly what's happening, but when jobs like this fail I have no other explanation. It's been happening for a long time at a very low frequency.
Edited by Daniel Stone