Ivan Gabaldon 5f364ad999 [fix] container: change mirror (#5127) ...

`mirrors.edge.kernel.org` has weird issues, use the official mirror and avoid
future issues.

2025-08-18 21:33:27 +02:00

..

base-builder.yml

[fix] container: change mirror (#5127)

2025-08-18 21:33:27 +02:00

base.yml

[fix] container: change mirror (#5127)

2025-08-18 21:33:27 +02:00

builder.dockerfile

[enh] container: tidy builds (#5086)

2025-08-07 10:46:26 +02:00

dist.dockerfile

[enh] container: tidy builds (#5086)

2025-08-07 10:46:26 +02:00

entrypoint.sh

[enh] container: tidy builds (#5086)

2025-08-07 10:46:26 +02:00