Use the updated Docker image

This commit is contained in:
w0rp 2019-05-16 22:22:47 +01:00
parent 8c76b88392
commit 8cb6d043b4
No known key found for this signature in database
GPG key ID: 0FC1ECAA8C81CD83

View file

@ -10,7 +10,7 @@ set -u
# #
image=w0rp/ale image=w0rp/ale
current_image_id=67896c9c2c0f current_image_id=f58c7bf8900f
# Used in all test scripts for running the selected Docker image. # Used in all test scripts for running the selected Docker image.
DOCKER_RUN_IMAGE="$image" DOCKER_RUN_IMAGE="$image"