I have to add one (1) package to the Dockerfile as a new dependency and wanted to build the image to verify it works. I wasn't able to because GNU servers are just not reliable at all.
The git server URL we're using doesn't seem to be a mirrored one, and switching to mirror URLs seem to make fetching possible again. Unfortunately, we don't have the option to do that for coreboot's dependencies, though we can ask coreboot to download the dependencies through its own mirror, which we do in this series. Signed-off-by: Quentin Schulz <[email protected]> --- Quentin Schulz (3): CI: use GNU mirror for grub (and switch to HTTPS) CI: use mirror for gnulib dependency of grub CI: use coreboot mirror for GNU dependencies of coreboot tools/docker/Dockerfile | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) --- base-commit: 8ff90aa64b730c3f511921d4ff79e9f64e625867 change-id: 20251121-gnu-mirror-98bbfa305caa Best regards, -- Quentin Schulz <[email protected]>
