From fc1a5ae034f5f87c952001f7e95ca2460ad92f6e Mon Sep 17 00:00:00 2001
From: Phil Pluckthun <phil@kitten.sh>
Date: Fri, 10 Apr 2020 00:43:05 +0100
Subject: [PATCH] Switch CircleCI to node:13 image

This is a more popular image on Circle, so it's more likely to be cached on any given build machine.
---
 .circleci/config.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index f91c228a6b..b0b265d051 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -3,7 +3,7 @@ version: 2.1
 executors:
   node:
     docker:
-      - image: circleci/node:12-buster
+      - image: node:13
 
 aliases:
   - &node_modules
@@ -80,7 +80,9 @@ jobs:
     steps:
       - run:
           name: Install AWS CLI
-          command: sudo apt-get -y -qq install awscli
+          command: |
+            apt-get -y -qq install python-pip
+            pip install awscli --upgrade --user
       - checkout
       - *node_modules
       - run: