diff --git a/dev-support/docker/Dockerfile b/dev-support/docker/Dockerfile index cdc5a4431824..b82b23bc0fb2 100644 --- a/dev-support/docker/Dockerfile +++ b/dev-support/docker/Dockerfile @@ -126,12 +126,6 @@ RUN echo "remote-repo-cache: /root/.cabal/packages" >> /root/.cabal/config RUN cabal update RUN cabal install shellcheck --global -#### -# Install bats -#### -RUN add-apt-repository -y ppa:duggan/bats -RUN apt-key update && apt-get -q update && apt-get -q install --no-install-recommends -y bats - #### # Install pylint ####