When Github Actions was downloading dependencies and the source (at that time, https://gmplib.org/download/gmp) failed, it tried three times, and then tried the fallback source (Fetching gmp-6.1.2.tar.bz2 from https://bitcoincore.org/depends-sources) which also failed.