From 333ba46449b408a467aadc6513d2c13b7297c1a6 Mon Sep 17 00:00:00 2001
From: Simon Warta <simon@warta.it>
Date: Wed, 20 May 2020 15:43:55 +0200
Subject: [PATCH] Update circle CI test image

---
 .circleci/config.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 31b61bd7..9f56d33d 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -43,7 +43,9 @@ jobs:
       # feature, as documented in https://circleci.com/docs/2.0/building-docker-images/#separation-of-environments
       # As a consequence, we cannot use the circleci CLI for this job because "You cannot use the machine
       # executor in local jobs." (https://circleci.com/docs/2.0/local-cli/#limitations-of-running-jobs-locally)
-      image: ubuntu-1604:201903-01
+      #
+      # Available images: https://circleci.com/docs/2.0/configuration-reference/#available-machine-images
+      image: ubuntu-1604:202004-01
     steps:
       - checkout
       - run: # start early for less wait time below