diff options
| author | w0rp <devw0rp@gmail.com> | 2019-05-16 22:22:47 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2019-05-16 22:22:47 +0100 |
| commit | 8cb6d043b4b2052ad6e5973b2a5804791511fed4 (patch) | |
| tree | d764d86072f4cd58c858dc02e93976a5f4c1d56a | |
| parent | 8c76b8839213e90971eb9e7c7de5ad950123fc49 (diff) | |
| download | ale-8cb6d043b4b2052ad6e5973b2a5804791511fed4.zip | |
Use the updated Docker image
| -rwxr-xr-x | run-tests | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -10,7 +10,7 @@ set -u # image=w0rp/ale -current_image_id=67896c9c2c0f +current_image_id=f58c7bf8900f # Used in all test scripts for running the selected Docker image. DOCKER_RUN_IMAGE="$image" |