diff --git a/Dockerfile b/Dockerfile index 6a8671ce..d2c108fb 100644 --- a/Dockerfile +++ b/Dockerfile @@ -18,6 +18,7 @@ RUN bash -exu <