File tree Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -30,8 +30,6 @@ RUN sudo mkdir -p -m 755 /etc/apt/keyrings && wget -qO- https://cli.github.com/p
3030 && sudo apt update \
3131 && sudo apt install gh -y
3232
33- # Unicode ocaml packages sometimes blow out the stack when compiling
34- RUN ulimit -s unlimited
3533
3634RUN addgroup -gid ${PGID} jenkins
3735RUN adduser --disabled-password --gecos '' --ingroup jenkins --uid ${PUID} jenkins
Original file line number Diff line number Diff line change @@ -11,6 +11,9 @@ RUN addgroup -g ${PGID} jenkins && \
1111
1212RUN apk update && apk add --no-cache opam build-base bzip2 git tar curl ca-certificates openssl m4 bash
1313
14+ # Unicode ocaml packages sometimes blow out the stack when compiling
15+ RUN ulimit -s unlimited
16+
1417# Switch back to the normal user
1518USER jenkins
1619
You can’t perform that action at this time.
0 commit comments