Install python3

base-8/Dockerfile

@@ -30,6 +30,7 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
   openssh-client \
   pkg-config \
   python-dev \
+  python3 \
   && apt-get clean && rm -rf /var/lib/apt/lists/*
 RUN adduser --disabled-password --home /duneci duneci
 USER duneci

base-9/Dockerfile

@@ -30,6 +30,7 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
   openssh-client \
   pkg-config \
   python-dev \
+  python3 \
   && apt-get clean && rm -rf /var/lib/apt/lists/*
 RUN adduser --disabled-password --home /duneci duneci
 USER duneci