Re: [PATCH 2/3] Dockerfile: Build GRUB UEFI target for RISC-V 32-bit

On Thu, Mar 26, 2020 at 09:04:53AM -0700, Bin Meng wrote:

Build GRUB UEFI target grubriscv32.efi.

Signed-off-by: Bin Meng bmeng.cn@gmail.com

Applied to gitlab-ci-runner/master, thanks!