CI: Use GitHub mirror to download GMP and MPFR#348

oscarbenjamin merged 1 commit intoflintlib:mainflintlib/python-flint:mainfrom

oscarbenjamin:pr_pyodide_mirroroscarbenjamin/python-flint:pr_pyodide_mirrorCopy head branch name to clipboard