Update the Docker image; fix an error

2026-03-04 22:31:32 +08:00 · 2021-01-14 20:24:19 +00:00
parent f398faa8d3
commit 8dce126a6c
2 changed files with 4 additions and 3 deletions
--- a/4
+++ b/4
@@ -9,8 +9,8 @@ set -u
 # options, or read the output below.
 #

-image=akevinclark/ale
-current_image_id=8e1802ca34b5
+image=w0rp/ale
+current_image_id=1c04720f5d17

 # Used in all test scripts for running the selected Docker image.
 DOCKER_RUN_IMAGE="$image"