Skip to content

Commit 6d6ab8e

Browse files
committed
Minor tweak to worker setup
[skip ci]
1 parent 343216c commit 6d6ab8e

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

worker-setup/base.Dockerfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -118,7 +118,7 @@ RUN apt-get install -y \
118118
&& apt-get autoremove -y --purge && apt-get clean
119119

120120
# recheck for updated dists
121-
RUN echo 1 && apt-get update && apt-get dist-upgrade -y
121+
RUN echo 2 && apt-get update && apt-get dist-upgrade -y
122122

123123
# 2nd iteration
124124
RUN apt-get install -y \

worker-setup/worker.conf

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,4 +20,4 @@ compiler-exe:
2020
* "/opt/ghc/8.0.2/bin/xghc"
2121
* "/opt/ghc/8.2.2/bin/xghc"
2222
* "/opt/ghc/8.4.4/bin/xghc"
23-
* "/opt/ghc/8.6.3/bin/xghc"
23+
* "/opt/ghc/8.6.5/bin/xghc"

0 commit comments

Comments
 (0)