diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2022-03-08 13:19:52 +0100 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2022-03-15 09:32:22 +0100 |
| commit | a46eff0a35931ae2b3d091e729bd1abda267b1b1 (patch) | |
| tree | 2a86c3541a0b498b92a0cf8c46bd21f3b36495a1 /linux-user | |
| parent | 392c8ac19b7d05ffee6315efed55f21cacb10a2d (diff) | |
edk2/docker: use ubuntu 18.04
Upstream CI uses ubuntu 18.04 too, so pick
that version (instead of something newer).
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Diffstat (limited to 'linux-user')
0 files changed, 0 insertions, 0 deletions