diff --git a/pica-ci/Dockerfile b/pica-ci/Dockerfile index 4514e10052c3d73efbca9f2a7cae6a22178e6cd7..294ef2c770a86d12f41a0733e4b6f7298456baae 100644 --- a/pica-ci/Dockerfile +++ b/pica-ci/Dockerfile @@ -1,4 +1,4 @@ -FROM docker:stable +FROM docker:19.03.0 WORKDIR /workdir COPY . /workdir/