We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4bf86d9 commit 426b878Copy full SHA for 426b878
scripts/docker/ci/Dockerfile
@@ -12,8 +12,8 @@ ENV OPAMROOT=/usr/local/opam
12
# Install OS dependencies
13
RUN apt-get update -qq && apt-get install -y --no-install-recommends \
14
build-essential ca-certificates curl gawk gcc git libpcre3-dev m4 \
15
- mingw-w64 nano pkg-config python3 python3-pip rsync sudo time unzip \
16
- wget
+ mingw-w64 nano pkg-config python3 python3-pip rsync sudo time \
+ wget unzip
17
18
# Newer nodejs version
19
RUN curl -sL https://deb.nodesource.com/setup_16.x | sudo -E bash -
0 commit comments