Re: [PATCH 1/1] gitlab: use our own GRUB

On Thu, Dec 19, 2019 at 01:30:32PM +0100, Heinrich Schuchardt wrote: > Up to now we have been relying on openSUSE repositories for GRUB on arm and > arm64 though we have included GRUB in our Docker image. > > Use the GRUB included in our Docker image. > > Signed-off-by: Heinrich Schuchardt

[PATCH 1/1] gitlab: use our own GRUB

Up to now we have been relying on openSUSE repositories for GRUB on arm and arm64 though we have included GRUB in our Docker image. Use the GRUB included in our Docker image. Signed-off-by: Heinrich Schuchardt --- .gitlab-ci.yml | 9 - 1 file changed, 4 insertions(+), 5 deletions(-)