ci: more robust wget
Handle multiple DNS and HTTP failures with a retry approach.
Edit: sneak up an increase of lava AMD runners from 10 to 12 (since we have all of them running). To avoid having to rerun the pipeline cause this tiny change.
Edited by David Heidelberg